Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.490 Seminar Spezialthemen der Software Verifikation |
Untertitel | |
Veranstaltungsnummer | 2.01.490 |
Semester | SoSe2022 |
Aktuelle Anzahl der Teilnehmenden | 2 |
erwartete Teilnehmendenanzahl | 10 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Vorbesprechung | Dienstag, 26.04.2022 16:00 - 17:00 |
Erster Termin | Dienstag, 26.04.2022 16:00 - 17:00, Ort: (online!) |
Art/Form | |
Lehrsprache | -- |