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 |
