Wintersemester 2018/2019
Im Wintersemester 2018/2019 werden folgende Veranstaltungen angeboten:
Vorlesungen
Praktika / Kurse / Seminare
- INF 3522 Grundlagenpraktikum Automatisches Beweisen
- INF 4122 Praktikum zu Betriebssystemen (Anmeldung für die Veranstaltung über Ilias)
In wenigen Wochen werden Sie hier weitere Informationen zu den o.g. Veranstaltungen erhalten.