Allgemeine Informationen
Veranstaltungsname | Übung: Übung zu Formale Methoden im Software Engineering |
Veranstaltungsnummer | INF-0130, INF-0229 |
Semester | SS 2024 |
Aktuelle Anzahl der Teilnehmenden | 0 |
Heimat-Einrichtung | Softwaretechnik |
Veranstaltungstyp | Übung in der Kategorie Lehre |
Nächster Termin | Freitag, 03.05.2024 10:00 - 13:00, Ort: (3017 N) |
Online/Digitale Veranstaltung | Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache | deutsch |