Veranstaltungsdetails - Kombination von Spezifikationstechniken
2.01 Department für Informatik |
---|
Sommersemester 2005 |
Kombination von Spezifikationstechniken | |
---|---|
Zeit: | Donnerstag 14:00 bis 16:00, Dienstag 14:00 bis 16:00 |
Veranstaltungsnummer: | 2.01.114 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik |
DozentIn | Dr. Jochen Hoenicke Ernst-Ruediger Olderog |
Heimat-Einrichtung: | 2.01 Department für Informatik |
Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |
ECTS-Punkte: | 6 |
Ort: | Do. wöchentlich 14:00-16:00 Ort: (A05 1-160), Di. wöchentlich 14:00-16:00 Ort: (A04 2-221) |