Veranstaltungsdetails - 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)