Allgemeine Informationen
| Veranstaltungsname | Seminar: 2.01.486 Model-Checking |
| Untertitel | inf486 |
| Veranstaltungsnummer | 2.01.486 |
| Semester | SoSe2023 |
| Aktuelle Anzahl der Teilnehmenden | 2 |
| erwartete Teilnehmendenanzahl | 10 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Seminar in der Kategorie Lehre |
| Vorbesprechung | Mittwoch, 12.04.2023 14:15 - 15:45 |
| Erster Termin | Mittwoch, 12.04.2023 14:15 - 15:45, Ort: (A03 2-209) |
| Art/Form | S |
| Lehrsprache | deutsch |
| Sonstiges |
Wöchentlich Wunsch- und Ausschusstermine In der ersten Vorlesungswoche einen einmaligen Termin für die Vorbesprechung: Mi 14-16 Raumwünsche A3 2-209 |
