Exercises: Übung zu Isabelle-Lab - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.
| Course name |
Exercises: Übung zu Isabelle-Lab |
| Course number |
INF-0432 |
|
Semester
|
WS 2022/23 |
|
Current number of participants
|
12 |
| Home institute |
Theorie verteilter und paralleler Systeme
|
| Courses type |
Exercises in category Teaching |
| First date |
Wed., 26.10.2022 10:00 - 11:30, Room: (1005 N) |
| Online/Digitale Veranstaltung |
Veranstaltung wird in Präsenz abgehalten. |
| Hauptunterrichtssprache |
englisch |
Course location / Course dates
| (1005 N) |
Wednesday: 10:00 - 11:30, weekly (8x)
Friday: 12:15 - 13:45, weekly (13x) |
| (1002 N) |
Wednesday: 10:00 - 11:30, weekly (6x) |
