Veranstaltungsdetails - Seminar Automatenmodelle für komplexe Systeme
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften |
---|
Department für Informatik |
Sommersemester 2012 |
Seminar Automatenmodelle für komplexe Systeme | |
---|---|
Veranstaltungsnummer: | 2.01.163 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Master INF Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Mastermodule > inf486 Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I |
DozentIn | Prof. Dr. Ernst-Rüdiger Olderog Mani Swaminathan |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Seminar in der Kategorie Lehre |
Art der Veranstaltung: | 2 SE |
Ort: | nicht angegeben |