Stud.IP Uni Oldenburg
University of Oldenburg
21.05.2022 12:30:01
Course details - Algorithmen zur Software-Verifikation
Department für Informatik
Sommersemester 2010
Algorithmen zur Software-Verifikation
Zeit: Di. 14:00 - 16:00 (wöchentlich) - Vorlesung,
Do. 10:00 - 12:00 (wöchentlich) - Übung
Veranstaltungsnummer: 2.01.110
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 > Fach-Bachelor > Informatik > Akzentsetzungsmodule > inf408 Algorithmen zur Software-Verifikation
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: 2VL + 2Ü
ECTS-Punkte: 6
Ort: A05 1-160: Di. 14:00 - 16:00 (14x),
(Bibliothekszimmer der Abteilung): Do. 10:00 - 12:00 (10x)
Lehrende: Prof. Dr. Ernst-Ruediger Olderog
Dipl.-Inform. Tim Strazny
Back