Vorlesung: 2.01.484 Verifikation objekt-orientierter Programme - Details

Vorlesung: 2.01.484 Verifikation objekt-orientierter Programme - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.484 Verifikation objekt-orientierter Programme
Untertitel
Veranstaltungsnummer 2.01.484
Semester SoSe2021
Aktuelle Anzahl der Teilnehmenden 20
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
Lehrsprache deutsch

Räume und Zeiten

Keine Raumangabe
Mittwoch: 10:00 - 12:00, wöchentlich
Freitag: 10:00 - 12:00, wöchentlich

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.