Course details - Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
| Department für Informatik |
|---|
| Wintersemester 2007/2008 |
| Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme | |
|---|---|
| Zeit: | Mittwoch 10:00 bis 12:00 |
| Veranstaltungsnummer: | 2.01.193 |
| Studienbereiche: | Fakultät 2: Informatik Wirtschafts- und Rechtswissenschaften > Department für Informatik |
| 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: | Mi. wöchentlich 10:00-12:00 Ort: (A03 2-209) |
| DozentInnen: | Prof. Dr. Ernst-Ruediger Olderog |