Digicampus
Exercises: Übung zu Isabelle-Lab - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

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 Wednesday, 26.10.2022 10:00 - 11:30, Room: (1005 N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
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)