Veranstaltungsdetails - Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
2.01 Department für Informatik |
---|
Sommersemester 2005 |
Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme | |
---|---|
Zeit: | Die Zeiten der Veranstaltung stehen nicht fest. |
Veranstaltungsnummer: | 2.01.193 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik |
DozentIn | Ernst-Ruediger Olderog |
Heimat-Einrichtung: | 2.01 Department für Informatik |
Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |