Sommersemester 2012
Vorlesungen
- Formale Spezifikation und Verifikation (Tribastone, 2 + 2)
- Entwurf und Implementierung paralleler Programme (Hennicker, 3+2)
- Performance Modelling of Computer Systems (Tribastone, 2+2)
- Formale Techniken in der Software-Entwicklung (Prehofer, 3+2)
Seminare
Praktika
Zusatzangebot
- Java für Forgeschrittene (Ab Mai 2012 im Semester / Raed)
- Design Patterns Kurs (Ab September in den Ferien / Raed)
