Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.803-B Praktikum Softwareverifikation |
Untertitel | inf803 |
Veranstaltungsnummer | 2.01.803-B |
Semester | WiSe22/23 |
Aktuelle Anzahl der Teilnehmenden | 3 |
erwartete Teilnehmendenanzahl | 12 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Dienstag, 18.10.2022 16:15 - 17:45, Ort: (A02 3-334) |
Art/Form | V+Ü |
Lehrsprache | deutsch |