Lehrveranstaltungen

Ausgewählte Kapitel der Spezifikation (WM 7)

703518

Semantik von Programmiersprachen (VO / 2h / 4 ECTS-AP)
Joanna Chimiak-Opoka

703519

Semantik von Programmiersprachen (PS / 1h / 2 ECTS-AP)
Michael Felderer

703520

Praktikum Formale Spezifikation (PS / 2h / 4 ECTS-AP)
Joanna Chimiak-Opoka

Hinweis:

Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.