Veranstaltungsdetails - Seminar Entscheidungsverfahren
| Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften |
|---|
| Department für Informatik |
| Wintersemester 2014/2015 |
| Seminar Entscheidungsverfahren | |
|---|---|
| Zeit: | Mi. 10:00 - 12:00 (wöchentlich) |
| Veranstaltungsnummer: | 2.01.486 |
| Studienbereiche: | Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften > Altes Veranstaltungsverzeichnis, gültig bis Wintersemester 2016/2017 > Master > Informatik > Mastermodule > inf486 Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I |
| Heimat-Einrichtung: | Department für Informatik |
| Typ der Veranstaltung: | Seminar in der Kategorie Lehre |
| Art der Veranstaltung: | 2S |
| Ort: | A03 2-209 |
| Untertitel: | inf486 |
| Lehrende: | Prof. Dr. Ernst-Rüdiger Olderog Martin Hilscher Heinrich Ody Dr. Jochen Hoenicke |
