Veranstaltungsdetails - Seminar Model Checking
2.01 Department für Informatik |
---|
Wintersemester 2005/2006 |
Seminar Model Checking | |
---|---|
Veranstaltungsnummer: | 2.01.163 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik |
DozentIn | Ernst-Ruediger Olderog |
Heimat-Einrichtung: | 2.01 Department für Informatik |
Typ der Veranstaltung: | Forschungsgruppe in der Kategorie Lehre |
ECTS-Punkte: | 3 |
Ort: | Mi. 19.10.2005 16:15-17:45 (A3 2-209), Vorbesprechung |