Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.AM-22 Oberseminar Formale Methoden |
Untertitel | bam/mam |
Veranstaltungsnummer | 2.01.AM-22 |
Semester | WiSe23/24 |
Aktuelle Anzahl der Teilnehmenden | 4 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Donnerstag, 19.10.2023 14:00 - 15:00, Ort: (A02 3-334 (and online)) |
Art/Form | S |
Lehrsprache | deutsch |