Allgemeine Informationen
Veranstaltungsname | Vorlesung: Model Checking |
Semester | SS 2016 |
Aktuelle Anzahl der Teilnehmenden | 0 |
Heimat-Einrichtung | Leitung des Instituts für Informatik |
beteiligte Einrichtungen | Technische Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Offizielle Lehrveranstaltungen |
Erster Termin | Dienstag, 05.04.2016 10:15 - 11:45 |
Studiengänge (für) | Studiengang Informatik |
SWS | 2 |