Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.486 Seminar: Strategien im Model-Checking |
Untertitel | inf487 |
Veranstaltungsnummer | 2.01.486 |
Semester | SoSe2022 |
Aktuelle Anzahl der Teilnehmenden | 0 |
erwartete Teilnehmendenanzahl | 10 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Mittwoch, 20.04.2022 14:15 - 15:45, Ort: A03 2-209 |
Art/Form | S |
Lernorganisation | Wird als Blockseminar angeboten |
Lehrsprache | deutsch |