Course details - Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
Department für Informatik |
Wintersemester 2008/2009 |
Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme |
Zeit: |
Mi. 10:00 - 12:00 (wöchentlich) |
Veranstaltungsnummer: |
2.01.192 |
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 |