Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Formale Methoden der Informatik |
| Veranstaltungsnummer | 23519 |
| Semester | WS 2018/19 |
| Aktuelle Anzahl der Teilnehmenden | 106 |
| Heimat-Einrichtung | Fakultät für Informatik und Elektrotechnik (IEF) |
| beteiligte Einrichtungen | IEF/Bereich Informatik, IEF/IIN/Informations- und Kommunikationsdienste, IEF/IN/IFI/Theoretische Informatik, INF/Department: Wissen - Kultur - Transformation, Interdisziplinäre Fakultät (INF) |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Erster Termin | Freitag, 19.10.2018 11:00 - 13:00 |
