Seminar: 2.01.486 Seminar: Strategien im Model-Checking  - Details

Seminar: 2.01.486 Seminar: Strategien im Model-Checking  - Details

Sie sind nicht in Stud.IP angemeldet.

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

Räume und Zeiten

A03 2-209
Mittwoch, 20.04.2022 14:15 - 15:45

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.