Stud.IP Uni Oldenburg
University of Oldenburg
21.05.2022 11:22:55
Course details - SFB Automatic Verification and Analysis of Complex Systems: AVACS
2.01 Department für Informatik
Wintersemester 2004/2005
SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Die Zeiten der Veranstaltung stehen nicht fest.
Veranstaltungsnummer: 2.01.661
Studienbereiche: Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik
DozentIn in Bearbeitung
Ernst-Ruediger Olderog
Oliver Theel
Heimat-Einrichtung: 2.01 Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Back