Stud.IP Uni Oldenburg
University of Oldenburg
23.05.2022 14:20:13
Course details - 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
Back