Übersicht
Lehrveranstaltungen des Wintersemester 2006/2007
Vorlesungen
- Methoden des Software-Engineering (Wirsing)
- Temporale Logik (Kröger)
- Entwurf und Implementierung paralleler Programme (Hennicker)
- Semantik von Programmiersprachen (Knapp)
- Project Management and Quality Assurance (Elite Graduate Program Softwareengineering) (Wirsing)