Stud.IP Uni Oldenburg
University of Oldenburg
23.05.2022 14:10:09
Course details - Modellierung und Spezifikation reaktiver Systeme
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Sommersemester 2012
Modellierung und Spezifikation reaktiver Systeme
Zeit: Di. 10:00 - 12:00 (wöchentlich) - Vorlesung,
Do. 12:30 - 14:00 (wöchentlich) - Übung
Veranstaltungsnummer: 2.01.111
Studienbereiche: Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Eingebettete Systeme und Mikrorobotik > Akzentsetzungsmodule > inf453 Kombination von Spezifikationstechniken
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Master INF
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Wirtschaftsinformatik > Frühere Module > inf453 Kombination von Spezifikationstechniken
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Mastermodule > inf453 Kombination von Spezifikationstechniken
DozentIn Prof. Dr. Ernst-Rüdiger Olderog
Jan-David Quesel
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Vorlesung in der Kategorie Lehre
Art der Veranstaltung: 2 VL + 2 Ü
Ort: A03 2-209: Di. 10:00 - 12:00 (13x)
Do. 12:30 - 14:00 (1x),
(A03 2-214): Do. 12:30 - 14:00 (9x)
Back