Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.8003 Proseminar Programmverifikation |
Untertitel | inf800 |
Veranstaltungsnummer | 2.01.8003 |
Semester | WiSe17/18 |
Aktuelle Anzahl der Teilnehmenden | 5 |
erwartete Teilnehmendenanzahl | 15 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Vorbesprechung | Mittwoch, 18.10.2017 10:00 - 11:00 |
Erster Termin | Mittwoch, 18.10.2017 10:00 - 11:00, Ort: (A03 2 209) |
Art/Form | S |
Lernorganisation | Blockseminar Räume und Zeiten erfragen Sie bitte beim Lehrenden |
Lehrsprache | deutsch |