Stud.IP Uni Oldenburg
University of Oldenburg
21.05.2022 12:33:46
Course details - Seminar Verifikation von Systemen mit unendlichen Zustandsräumen
Department für Informatik
Sommersemester 2010
Seminar Verifikation von Systemen mit unendlichen Zustandsräumen
Zeit: Di. 16:00 - 18:00 (wöchentlich) - Seminar
Veranstaltungsnummer: 2.01.167
Studienbereiche: Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Professionalisierungsbereich > Studienmodule > PB 215 Proseminar Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Seminar in der Kategorie Lehre
Art der Veranstaltung: 2 SE
ECTS-Punkte: 3
Ort: A03 2-209: Di. 16:00 - 18:00 (14x)
Lehrende: Prof. Dr. Eike Best
Dr. Hans Fleischhack
Prof. Dr. Ernst-Ruediger Olderog
Mani Swaminathan
Back