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 |