Digicampus
Exercises: Übung zu Formale Methoden im Software Engineering - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Exercises: Übung zu Formale Methoden im Software Engineering
Course number INF-0130, INF-0229
Semester SS 2024
Current number of participants 0
Home institute Softwaretechnik
Courses type Exercises in category Teaching
Next date Friday, 31.05.2024 10:00 - 13:00, Room: (3017 N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch

Rooms and times

(3017 N)
Friday: 10:00 - 13:00, weekly (14x)
Friday: 14:00 - 17:00, weekly (14x)

Module assignments

Comment/Description

Die Übung ist aufgeteilt in 2 Gruppen: Die erste Gruppe kann von 10:00 bis 13:00 Uhr den Praktikumsraum nutzen, die zweite Gruppe von 14:00 - 17:00 Uhr.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
The following rules apply for the admission:
  • Admission locked.