Veranstaltungsdetails - Oberseminar Entwicklung korrekter Systeme
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften |
---|
Department für Informatik |
Sommersemester 2012 |
Oberseminar Entwicklung korrekter Systeme | |
---|---|
Zeit: | Mi. 10:00 - 12:00 (wöchentlich) - Seminar |
Veranstaltungsnummer: | 2.01.192 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Fach-Bachelor > Informatik > Abschlussmodul > bam Bachelorarbeitsmodul Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Fach-Bachelor > Wirtschaftsinformatik > Frühere Module > BAM Bachelorarbeitsmodul Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Zwei-Fächer-Bachelor > Informatik > Abschlussmodul > bam Bachelorarbeitsmodul Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Eingebettete Systeme und Mikrorobotik > Abschlussmodul > mam Masterarbeitsmodul Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Bachelor INF Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Bachelor WI 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 > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Master WI Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik > Master ESMR Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Abschlussmodul > mam Masterarbeitsmodul |
DozentIn | Prof. Dr. Ernst-Rüdiger Olderog |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Kolloquium in der Kategorie Lehre |
Art der Veranstaltung: | 2 KO |
Ort: | A03 2-209 |
Untertitel: | Abschlussarbeiten Seminar |