MDB
Studiengänge
Masterprogramme
Modulsuche
Anmelden
...als Modulverwalter
...als Studierender
Gehe zu
Über die Moduldatenbank
Hauptseite der Moduldatenbank
Institut für Informatik
CAU Kiel
UnivIS
Unterstützt durch:
Curry (Programmiersprache)
Spicey (Web Framework)
Bootstrap (Style Sheets)
[English]
About
Modulinformationssystem Informatik
Modul "Master Seminar - Formal Software Verification" im WS17/18
Dozent:
Prof. Dr. Dirk Nowotka
Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:
Algorithms and Verification (Beginn : WS16/17)