Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.803 Praktikum Softwareverifikation |
Untertitel | inf803 |
Veranstaltungsnummer | 2.01.803 |
Semester | WiSe21/22 |
Aktuelle Anzahl der Teilnehmenden | 10 |
erwartete Teilnehmendenanzahl | 12 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Mittwoch, 20.10.2021 12:15 - 13:45, Ort: A05 1-159 |
Art/Form | VL+Ü |
Lehrsprache | deutsch |