Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.455 Model Checking |
Untertitel | inf455 |
Veranstaltungsnummer | 2.01.455 |
Semester | SoSe2022 |
Aktuelle Anzahl der Teilnehmenden | 18 |
erwartete Teilnehmendenanzahl | 30 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Mittwoch, 20.04.2022 10:15 - 11:45, Ort: A01 0-008 |
Art/Form | |
Lehrsprache | deutsch |