Veranstaltungsdetails - Verifikation objekt-orientierter Programme

Veranstaltungsdetails - Verifikation objekt-orientierter Programme

Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Wintersemester 2010/2011
Verifikation objekt-orientierter Programme
Zeit: Di. 14:00 - 16:00 (wöchentlich) - Vorlesung,
Do. 10:00 - 12:00 (wöchentlich)
Veranstaltungsnummer: 2.01.101
Studienbereiche: Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Akzentsetzungsmodule > inf484 Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
DozentIn Prof. Dr. Ernst-Ruediger Olderog
Dipl.-Inform. Tim Strazny
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: 3 VL + 1 Ü
ECTS-Punkte: 6
Ort: A05 1-160: Di. 14:00 - 16:00 (14x),
(A03 2-214): Do. 10:00 - 12:00 (13x)
Zurück