Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.484 Verifikation objekt-orientierter Programme |
Untertitel | |
Veranstaltungsnummer | 2.01.484 |
Semester | SoSe2021 |
Aktuelle Anzahl der Teilnehmenden | 20 |
erwartete Teilnehmendenanzahl | 30 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Mittwoch, 14.04.2021 10:00 - 12:00 |
Art/Form | |
Lehrsprache | deutsch |