Formale Spezifikation und Verifikation

Aktuelles

Inhalt

Termine

Personen

Materialien

Die folgenden Materialien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

Vorlesung

Übung

Die Übungsblätter und Folien zur Besprechung der Übungsblätter finden Sie im UniWorX!

Hörerkreis

Bachelor Informatik

Benötigte Vorkenntnisse

Literatur

Nützliche Links