Veranstaltungsdetails - Programmverifikation
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften |
---|
Department für Informatik |
Wintersemester 2014/2015 |
Programmverifikation | |
---|---|
Zeit: | Di. 14:00 - 16:00 (wöchentlich) - V, Ort: A03 2-209, Do. 10:00 - 12:00 (wöchentlich) - V/Ü, Ort: V02 0-003, Termine am Freitag. 13.02. 10:00 - 12:15, Dienstag. 17.02. 10:00 - 17:30, Dienstag. 24.02. 11:00 - 11:45, Ort: (A3 2-214) |
Veranstaltungsnummer: | 2.01.407 |
Studienbereiche: | Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften > Altes Veranstaltungsverzeichnis, gültig bis Wintersemester 2016/2017 > Zwei-Fächer-Bachelor > Informatik > Basismodule > inf407 Programmverifikation Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften > Altes Veranstaltungsverzeichnis, gültig bis Wintersemester 2016/2017 > Master of Education (Gymnasium) > Informatik > Mastermodule > inf407 Programmverifikation Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften > Altes Veranstaltungsverzeichnis, gültig bis Wintersemester 2016/2017 > Fach-Bachelor > Informatik > Akzentsetzungsmodule > inf407 Programmverifikation |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |
Art der Veranstaltung: | V + Ü |
Ort: | A03 2-209: Di. 14:00 - 16:00 (14x), V02 0-003: Do. 10:00 - 12:00 (14x), (A3 2-214): Freitag. 13.02. 10:00 - 12:15, Dienstag. 17.02. 10:00 - 17:30, Dienstag. 24.02. 11:00 - 11:45 |
Untertitel: | inf407 |
Lehrende: | Prof. Dr. Ernst-Rüdiger Olderog Maike Schwammberger, M. Sc Dr. Jochen Hoenicke |