Vorlesung: Model Checking - Details
Sie sind nicht in Stud.IP angemeldet.
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 |
- Keine Raumangabe
-
Donnerstag: 12:15 - 13:45, wöchentlich(15x)