Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.453 Kombination von Spezifikationstechniken |
Untertitel | inf453 |
Veranstaltungsnummer | 2.01.453 |
Semester | WiSe18/19 |
Aktuelle Anzahl der Teilnehmenden | 5 |
erwartete Teilnehmendenanzahl | 30 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Dienstag, 16.10.2018 16:00 - 18:00, Ort: A03 2-209 |
Art/Form | V+Ü |
Lehrsprache | deutsch |