Veranstaltungsdetails - Automatische Verifikationsalgorithmen

Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Sommersemester 2014

Automatische Verifikationsalgorithmen
Zeit:	Mi. 10:00 - 12:00 (wöchentlich) - V, Do. 10:00 - 12:00 (wöchentlich) - S, Do. 10:00 - 12:00 (wöchentlich)
Veranstaltungsnummer:	2.01.484
Studienbereiche:	Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Mastermodule > inf484 Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
DozentIn	Prof. Dr. Ernst-Rüdiger Olderog Maike Schwammberger, M. Sc
Heimat-Einrichtung:	Department für Informatik
Typ der Veranstaltung:	Vorlesung in der Kategorie Lehre
Art der Veranstaltung:	2V+2S
Ort:	A03 2-209: Mi. 10:00 - 12:00 (14x) Do. 10:00 - 12:00 (11x), A04 4-411: Do. 10:00 - 12:00 (12x)
Untertitel:	inf484