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 |
