Courses



Ausgewählte Kapitel der Spezifikation (WM 7)
Go to the superordinate section
ML
703518
Semantics of Programming Languages (VO / 2h / 4 ECTS-AP)
Joanna Chimiak-Opoka
Details of this course
ML
703519
Semantics of Programming Languages (PS / 1h / 2 ECTS-AP)
Michael Felderer
Details of this course
ML
703520
Formal Specification Lab (PS / 2h / 4 ECTS-AP)
Joanna Chimiak-Opoka
Details of this course

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).