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 2022
Current number of participants 0
Home institute Softwaretechnik
Courses type Exercises in category Teaching
First date Fri., 29.04.2022 10:00 - 13:45, Room: (3017N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch

Course location / Course dates

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

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:
  • The admission is locked.