Course details - Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
|
Department für Informatik |
|
Wintersemester 2008/2009 |
| Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme |
| Zeit: |
Mi. 10:00 - 12:00 (wöchentlich) |
| Veranstaltungsnummer: |
2.01.192 |
| DozentIn |
Prof. Dr. Ernst-Ruediger Olderog
|
| Heimat-Einrichtung: |
Department für Informatik |
| Typ der Veranstaltung: |
Grundstudium in der Kategorie Lehre |
| Art der Veranstaltung: |
S |
| Ort: |
(A03 2-209): Mi. 10:00 - 12:00 (14x) |
| DozentInnen: |
Prof. Dr. Ernst-Ruediger Olderog
|
