Exercises: Übung zu Isabelle-Lab - Details

Exercises: Übung zu Isabelle-Lab - Details

You are not logged into Stud.IP.

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

Rooms and times

(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)