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