Stud.IP Uni Oldenburg
University of Oldenburg
25.05.2022 19:25:02
Course details - Programmverifikation
Department für Informatik
Wintersemester 2007/2008
Programmverifikation
Zeit: Dienstag 14:00 bis 16:00, Donnerstag 14:00 bis 16:00, Donnerstag 14:00 bis 16:00
Veranstaltungsnummer: 2.01.111
Studienbereiche: Fakultät 2: Informatik
Wirtschafts- und Rechtswissenschaften > Department für Informatik
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: V
ECTS-Punkte: 6
Ort: Di. wöchentlich 14:00-16:00 Ort: (A05 1-159) Vorlesung, Do. wöchentlich 14:00-16:00 Ort: (A05 1-160) Uebung, Do. wöchentlich 14:00-16:00 Ort: (A05 1-160) Vorlesung
Lehrende: Prof. Dr. Ernst-Ruediger Olderog
Jan-David Quesel
Back