Stud.IP Uni Oldenburg
University of Oldenburg
02.07.2022 01:04:52
Course details - 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
Back