Veranstaltungsdetails - 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)