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 |
