Modellierung, Spezifikation und Semantik

Dieser Moodle-Kurs wird auschließlich zum Koordination der Klausureinsicht verwendet. Alle anderen Informationen  inklusive dem Material zur Vorlesung finden Sie weiterhin auf der Kurswebsite des Fachgebiets MAIS.