Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.489 Verification of Parallel Programs |
Untertitel | inf489 |
Veranstaltungsnummer | 2.01.489 |
Semester | WiSe23/24 |
Aktuelle Anzahl der Teilnehmenden | 16 |
erwartete Teilnehmendenanzahl | 20 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Dienstag, 17.10.2023 14:00 - 16:00, Ort: A05 1-160 |
Art/Form | V+Ü |
Lehrsprache | deutsch |
ECTS-Punkte | 6 |