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
Semester SS 2023
Current number of participants 0
Home institute Softwaretechnik
Courses type Exercises in category Teaching
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch

Rooms and times

No room preference

Module assignments

Comment/Description

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

Admission settings

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