Stud.IP Uni Oldenburg
University of Oldenburg
25.05.2022 19:00:09
Course details - SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik
Wintersemester 2006/2007
SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Freitag 13:30 bis 15:00
Veranstaltungsnummer: 2.01.661
Studienbereiche: Fakultät 2: Informatik
Wirtschafts- und Rechtswissenschaften > Department für Informatik
DozentIn in Bearbeitung
Prof. Dr. Martin Georg Fränzle
Prof. Dr. Ernst-Ruediger Olderog
Prof. Dr.-Ing. Oliver Theel
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Grundstudium in der Kategorie Lehre
Art der Veranstaltung: S
Ort: Fr. wöchentlich 13:30-15:00 Ort: (OFFIS D21)  
Back