Veranstaltungsdetails - Seminar Verifikation von komplexen Systemen mit unendlichen Zustandsräumen

Department für Informatik
Sommersemester 2010

Seminar Verifikation von komplexen Systemen mit unendlichen Zustandsräumen
Veranstaltungsnummer:	2.01.165
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 > inf482 Aktuelle Themen aus dem Gebiet "Parallele Systeme" I
Heimat-Einrichtung:	Department für Informatik
Typ der Veranstaltung:	Seminar in der Kategorie Lehre
Art der Veranstaltung:	2 SE
ECTS-Punkte:	3
Lehrende:	Prof. Dr. Eike Best Dr. Hans Fleischhack Prof. Dr. Ernst-Ruediger Olderog Mani Swaminathan