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
Cookie Information
×
This web site uses technical cookies for navigation, user inputs, and preferences.
Further privacy and data protection information
is available.
Modul "Relationale Methoden in der Informatik" im SS10
Dozent:
Prof. Dr. Rudolf Berghammer
Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:
Entwicklung moderner Programmiersprachen (Beginn : WS09/10)
Sicherheit durch Kryptographie (Beginn : WS09/10)
Formale Methoden der Programmierung (Beginn : WS09/10)