Stud.IP Uni Oldenburg
University of Oldenburg
03.07.2022 09:57:18
Course details - SFB Automatic Verification and Analysis of Complex Systems: AVACS
2.01 Department für Informatik
Wintersemester 2005/2006
SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Freitag 13:00 bis 15:00
Veranstaltungsnummer: 2.01.662
Studienbereiche: Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik
DozentIn in Bearbeitung
Prof. Dr. Martin Fraenzle
Ernst-Ruediger Olderog
Oliver Theel
Heimat-Einrichtung: 2.01 Department für Informatik
Typ der Veranstaltung: Grundstudium in der Kategorie Lehre
Art der Veranstaltung: S
Ort: Fr. w√∂chentlich 13:00-15:00 Ort: k.A.
Back