Veranstaltungsdetails - Algorithmen zur Software-Verifikation
Department für Informatik |
---|
Sommersemester 2008 |
Algorithmen zur Software-Verifikation | |
---|---|
Zeit: | Di. 14:00 - 16:00 (wöchentlich), Do. 14:00 - 16:00 (wöchentlich) |
Veranstaltungsnummer: | 2.01.112 |
DozentIn | Prof. Dr. Ernst-Ruediger Olderog |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |
Art der Veranstaltung: | V |
ECTS-Punkte: | 6 |
Beschreibung: | Die Übungen besprechen den jeweiligen Übungszettel. Die Präsenzübungen vertiefen die aktuellen Inhalte der Vorlesung durch weitere Beispiele. |
Ort: | (A05 1-160): Di. 14:00 - 16:00 (14x) Do. 14:00 - 16:00 (13x) |
TutorInnen: | Tim Strazny Roland Meyer |
DozentInnen: | Prof. Dr. Ernst-Ruediger Olderog |