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) |
Online/Digitale Veranstaltung | Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache | englisch |