Exam: Formal Methods for Software Engineering - Einzelansicht

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.

Studiengänge
Abschluss	Studiengang	Semester
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

Die Veranstaltung wurde 5 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:

Veranstaltungsverzeichnis der Bauhaus-Universität Weimar

Fakultät Medien

M.Sc. Computer Science for Digital Media (ab PV 2020)

Exams - - - 1

M.Sc. Digital Engineering (ab PV 2023)

Exams - - - 2

M.Sc. Digital Engineering

Exams - - - 3

M.Sc. Computer Science for Digital Media

Exams - - - 4

M.Sc. Human-Computer Interaction (ab PV 19)

Exams - - - 5