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