Veranstaltungsdetails - Algorithmen zur Software-Verifikation
| Department für Informatik |
|---|
| Sommersemester 2010 |
| Algorithmen zur Software-Verifikation | |
|---|---|
| Zeit: | Di. 14:00 - 16:00 (wöchentlich) - Vorlesung, Do. 10:00 - 12:00 (wöchentlich) - Übung |
| Veranstaltungsnummer: | 2.01.110 |
| Studienbereiche: | Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Fach-Bachelor > Informatik > Akzentsetzungsmodule > inf408 Algorithmen zur Software-Verifikation |
| Heimat-Einrichtung: | Department für Informatik |
| Typ der Veranstaltung: | Vorlesung in der Kategorie Lehre |
| Art der Veranstaltung: | 2VL + 2Ü |
| ECTS-Punkte: | 6 |
| Ort: | A05 1-160: Di. 14:00 - 16:00 (14x), (Bibliothekszimmer der Abteilung): Do. 10:00 - 12:00 (10x) |
| Lehrende: | Prof. Dr. Ernst-Ruediger Olderog Dipl.-Inform. Tim Strazny |
