Stud.IP Uni Oldenburg
University of Oldenburg
20.05.2022 01:02:47
Course details - Seminar Verifikation von komplexen Systemen mit unendlichen Zustandsräumen
Department für Informatik
Sommersemester 2010
Seminar Verifikation von komplexen Systemen mit unendlichen Zustandsräumen
Veranstaltungsnummer: 2.01.165
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 > Master > Informatik > Akzentsetzungsmodule > inf482 Aktuelle Themen aus dem Gebiet "Parallele Systeme" I
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Seminar in der Kategorie Lehre
Art der Veranstaltung: 2 SE
ECTS-Punkte: 3
Lehrende: Prof. Dr. Eike Best
Dr. Hans Fleischhack
Prof. Dr. Ernst-Ruediger Olderog
Mani Swaminathan
Back