-
Computer Science
-
Studies
-
During studies
-
POen, MHB, etc.
-
MSc_AngInf_MHB_Details
-
Module Handbook MSc AngInf
Archive
Spezifikation, Modelle, Strukturierung PDF (112 KB) INF-MSc-307: Logisch-algebraischer Systementwurf 2: Test, Verifikation und Transformation PDF (107 KB) INF-MSc-308: Modale und temporale Logiken als M [...] engineering Basic modules Modulbeschreibungen PDF (339 KB) Elective modules Modulbeschreibungen PDF (2 MB) Application subject Process Automation Mandatory modules Elective modules Robotics application subject …