Zum Hauptinhalt
Lernportal Informatik
Deutsch (de)
Deutsch (de)
Deutsch (Du) (de_du)
English (en)
Sie sind nicht angemeldet. (
Login
)
Kursinformation
Startseite
Kurse
Sommersemester 2021
Wahlbereiche
MC21
Beschreibung
Model Checking SoSe 21
Dozent*in:
Richard Bubel
Dozent*in:
Lukas Grätz
Erste Veranstaltung
:
Mittwoch, 14. April 2021, 09:50