Allgemeine Informationen
| Veranstaltungsname | Übung: Übung zu Isabelle-Lab |
| Veranstaltungsnummer | INF-0432 |
| Semester | WS 2022/23 |
| Aktuelle Anzahl der Teilnehmenden | 10 |
| Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
| Veranstaltungstyp | Übung in der Kategorie Lehre |
| Erster Termin | Mittwoch, 26.10.2022 10:00 - 11:30, Ort: (1005 N) |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | englisch |
