Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.408 Algorithmen zur Software-Verifikation |
Untertitel | |
Veranstaltungsnummer | 2.01.408 |
Semester | WiSe16/17 |
Aktuelle Anzahl der Teilnehmenden | 5 |
erwartete Teilnehmendenanzahl | 25 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Dienstag, 18.10.2016 14:00 - 16:00, Ort: A03 2-209 |
Art/Form | |
Lehrsprache | deutsch |