Veranstaltungsdetails - Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
Department für Informatik |
---|
Sommersemester 2008 |
Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme | |
---|---|
Zeit: | Mi. 10:00 - 12:00 (wöchentlich) |
Veranstaltungsnummer: | 2.01.193 |
DozentIn | Prof. Dr. Ernst-Ruediger Olderog |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Grundstudium in der Kategorie Lehre |
Art der Veranstaltung: | S |
Ort: | (A03 2-209): Mi. 10:00 - 12:00 (14x) |
DozentInnen: | Prof. Dr. Ernst-Ruediger Olderog |