Stud.IP Uni Oldenburg
University of Oldenburg
25.05.2022 17:34:17
Course details - Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik
Sommersemester 2007
Seminar 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
Wirtschafts- und Rechtswissenschaften > Department für Informatik
DozentIn in Bearbeitung
Prof. Dr. Ernst-Ruediger Olderog
Prof. Dr.-Ing. Oliver Theel
Prof. Dr. Martin Georg Fränzle
Heimat-Einrichtung: 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: (OFFIS D021)  
Back