Veranstaltungsdetails - Seminar Spezifikation mit Diagrammen
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften |
---|
Department für Informatik |
Wintersemester 2010/2011 |
Seminar Spezifikation mit Diagrammen | |
---|---|
Zeit: | Mo. 10:00 - 12:00 (wöchentlich) |
Veranstaltungsnummer: | 2.01.162 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Akzentsetzungsmodule > inf486 Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I |
DozentIn | Prof. Dr. Ernst-Ruediger Olderog Sven Linker |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Seminar in der Kategorie Lehre |
Art der Veranstaltung: | 2 SE |
ECTS-Punkte: | 3 |
Ort: | nicht angegeben |