Allgemeine Informationen
| Veranstaltungsname | Vorlesung: 2.01.803 Formale Methoden |
| Untertitel | inf803 |
| Veranstaltungsnummer | 2.01.803 |
| Semester | SoSe2021 |
| Aktuelle Anzahl der Teilnehmenden | 6 |
| erwartete Teilnehmendenanzahl | 30 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Erster Termin | Mittwoch, 14.04.2021 10:00 - 12:00 |
| Art/Form | V+Ü |
| Lehrsprache | deutsch |
