Vorlesung: 2.01.410 Formale Methoden - Details

Vorlesung: 2.01.410 Formale Methoden - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.410 Formale Methoden
Untertitel inf803
Veranstaltungsnummer 2.01.410
Semester SoSe2022
Aktuelle Anzahl der Teilnehmenden 6
erwartete Teilnehmendenanzahl 30
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Mittwoch, 20.04.2022 14:15 - 15:45, Ort: (A02 3-334)
Art/Form V+Ü
Lehrsprache deutsch

Räume und Zeiten

(A02 3-334)
Mittwoch: 14:15 - 15:45, zweiwöchentlich (7x)
Mittwoch: 14:15 - 15:45, zweiwöchentlich (7x)
Donnerstag: 14:15 - 15:45, wöchentlich (13x)

Modulzuordnungen

  • Campusmanagementsystem Stud.IP

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.
Zurück