Stud.IP Uni Oldenburg
University of Oldenburg
04.07.2022 13:49:17
Course details - Algorithmen zur Software-Verifikation
Department für Informatik
Sommersemester 2008
Algorithmen zur Software-Verifikation
Zeit: Di. 14:00 - 16:00 (wöchentlich),
Do. 14:00 - 16:00 (wöchentlich)
Veranstaltungsnummer: 2.01.112
DozentIn Prof. Dr. Ernst-Ruediger Olderog
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: V
ECTS-Punkte: 6
Beschreibung: Die Übungen besprechen den jeweiligen Übungszettel. Die Präsenzübungen vertiefen die aktuellen Inhalte der Vorlesung durch weitere Beispiele.
Ort: (A05 1-160): Di. 14:00 - 16:00 (14x)
Do. 14:00 - 16:00 (13x)
TutorInnen: Tim Strazny
Roland Meyer
DozentInnen: Prof. Dr. Ernst-Ruediger Olderog
Back