Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
SoSe 2026

Exam: Formal Methods for Software Engineering   - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Prüfung SWS
Veranstaltungsnummer 422250037 Max. Teilnehmer/-innen
Semester WiSe 2025/26 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus jedes 2. Semester
Hyperlink  
Sprache englisch


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
M. Sc. Computer Science and Media (M.Sc.), PV 11 -
M. Sc. Digital Engineering (M.Sc.), PV 19 -
M. Sc. Computer Science for Digital Media (M.Sc.), PV 18 -
M. Sc. Human-Computer Interaction (M.Sc.), PV19 -
M. Sc. Computer Science for Digital Media (M.Sc.), PV 2020 -
M. Sc. Digital Engineering (M.Sc.), PV 2023 -
Zuordnung zu Einrichtungen
Fakultät Medien
Inhalt
Leistungsnachweis

project presentation


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2025/26 , Aktuelles Semester: SoSe 2026

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz