Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/DozentIn steht.
Veranstaltung
Semester:
Sommersemester
2022
2.01.455 Model Checking -
Veranstaltungstermine
- Montag: 14:15 - 15:45, wöchentlich (18.04.2022 - 18.07.2022)
- Mittwoch: 10:15 - 11:45, zweiwöchentlich (20.04.2022 - 13.07.2022)
- Mittwoch: 10:15 - 11:45, zweiwöchentlich (27.04.2022 - 20.07.2022)
Lehrende
SWS
4
empfohlenes Fachsemester
--