Veranstaltungsdetails - SFB Automatic Verification and Analysis of Complex Systems: AVACS

Department für Informatik
Wintersemester 2007/2008

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
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)
Lehrende:	in Bearbeitung Prof. Dr. Martin Georg Fränzle Prof. Dr. Ernst-Ruediger Olderog Prof. Dr.-Ing. Oliver Theel