General information
Course name | Exercises: Übung zu Isabelle-Lab |
Course number | INF-0432 |
Semester | WS 2022/23 |
Current number of participants | 10 |
Home institute | Theorie verteilter und paralleler Systeme |
Courses type | Exercises in category Teaching |
First date | Wednesday, 26.10.2022 10:00 - 11:30, Room: (1005 N) |
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
Hauptunterrichtssprache | englisch |