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
--

(Stand: 20.04.2022)