Gå til hovedindhold
Sidepanel
Moodle UDE
Dansk (da)
Dansk (da)
Deutsch (de)
English (en)
Español - España (es_es)
Español - Internacional (es)
Français (fr)
Polski (pl)
Türkçe (tr)
Русский (ru)
Українська (uk)
Indtast din forespørgsel
Du er ikke logget ind (
Log ind
)
Kursusinformation
Hjem
Kurser
Archiv
Wintersemester 2020/2021
Ingenieurwissenschaften
Informatik und Angewandte Kognitionswissenschaften
FSVSS WS20/21
Kort beskrivelse
Formale Spezifikation von Softwaresystemen
In dieser Veranstaltung wird die formale Spezifikationssprache Z behandelt.
Lehrende(r):
Jens Leicht
Lehrende(r):
Roman Wirtz
Wintersemester 2020/2021
FSVSS WS20/21
Hjem