Stud.IP Uni Oldenburg
University of Oldenburg
07.07.2022 09:32:05
Course details - Automatische Verifikationsalgorithmen
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Sommersemester 2014
Automatische Verifikationsalgorithmen
Zeit: Mi. 10:00 - 12:00 (wöchentlich) - V,
Do. 10:00 - 12:00 (wöchentlich) - S,
Do. 10:00 - 12:00 (wöchentlich)
Veranstaltungsnummer: 2.01.484
Studienbereiche: Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Mastermodule > inf484 Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
DozentIn Prof. Dr. Ernst-Rüdiger Olderog
Maike Schwammberger, M. Sc
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: 2V+2S
Ort: A03 2-209: Mi. 10:00 - 12:00 (14x)
Do. 10:00 - 12:00 (11x),
A04 4-411: Do. 10:00 - 12:00 (12x)
Untertitel: inf484
Back