Allgemeine Informationen
Veranstaltungsname | Übung: 2.01.803-B Praktikum Softwareverifikation |
Untertitel | inf803 |
Veranstaltungsnummer | 2.01.803-B |
Semester | WiSe21/22 |
Aktuelle Anzahl der Teilnehmenden | 6 |
erwartete Teilnehmendenanzahl | 12 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Übung in der Kategorie Lehre |
Erster Termin | Freitag, 29.10.2021 10:15 - 11:45, Ort: A03 4-404 |
Art/Form | Ü |
Lehrsprache | deutsch |