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

Department für Informatik
Sommersemester 2008

Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit:	Fr. 13:00 - 15:00 (wöchentlich)
Veranstaltungsnummer:	2.01.662
Heimat-Einrichtung:	Department für Informatik
Typ der Veranstaltung:	Grundstudium in der Kategorie Lehre
Art der Veranstaltung:	S
Ort:	(OFFIS D021): Fr. 13:00 - 15:00 (14x)
Lehrende:	Prof. Dr. Martin Georg Fränzle in Bearbeitung Prof. Dr. Ernst-Ruediger Olderog Prof. Dr.-Ing. Oliver Theel