Veranstaltungsdetails - Programmverifikation
| Department für Informatik |
|---|
| Wintersemester 2007/2008 |
| Programmverifikation | |
|---|---|
| Zeit: | Dienstag 14:00 bis 16:00, Donnerstag 14:00 bis 16:00, Donnerstag 14:00 bis 16:00 |
| Veranstaltungsnummer: | 2.01.111 |
| Studienbereiche: | Fakultät 2: Informatik Wirtschafts- und Rechtswissenschaften > Department für Informatik |
| Heimat-Einrichtung: | Department für Informatik |
| Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |
| Art der Veranstaltung: | V |
| ECTS-Punkte: | 6 |
| Ort: | Di. wöchentlich 14:00-16:00 Ort: (A05 1-159) Vorlesung, Do. wöchentlich 14:00-16:00 Ort: (A05 1-160) Uebung, Do. wöchentlich 14:00-16:00 Ort: (A05 1-160) Vorlesung |
| Lehrende: | Prof. Dr. Ernst-Ruediger Olderog Jan-David Quesel |
