Veranstaltungsdetails - Seminar Verifikation von Systemen mit unendlichen Zustandsräumen

Department für Informatik
Sommersemester 2010

Seminar Verifikation von Systemen mit unendlichen Zustandsräumen
Zeit:	Di. 16:00 - 18:00 (wöchentlich) - Seminar
Veranstaltungsnummer:	2.01.167
Studienbereiche:	Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Professionalisierungsbereich > Studienmodule > PB 215 Proseminar Informatik Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik
Heimat-Einrichtung:	Department für Informatik
Typ der Veranstaltung:	Seminar in der Kategorie Lehre
Art der Veranstaltung:	2 SE
ECTS-Punkte:	3
Ort:	A03 2-209: Di. 16:00 - 18:00 (14x)
Lehrende:	Prof. Dr. Eike Best Dr. Hans Fleischhack Prof. Dr. Ernst-Ruediger Olderog Mani Swaminathan