Allgemeine Informationen
Veranstaltungsname | Übung: Übung zu Isabelle-Lab |
Veranstaltungsnummer | INF-0432 |
Semester | WS 2023/24 |
Aktuelle Anzahl der Teilnehmenden | 4 |
Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
beteiligte Einrichtungen | Institut für Informatik |
Veranstaltungstyp | Übung in der Kategorie Lehre |
Erster Termin | Freitag, 27.10.2023 12:15 - 13:45, Ort: (1005 N) |
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
Hauptunterrichtssprache | englisch |