Formale Spezifikation und Verifikation 2

Aktuelles

Inhalt

Diese Vorlesung ist eine Fortführung und Vertiefung der Veranstaltung Formale Spezifikation und Verifikation im BSc-Studium.

Termine

Am 31.10.2017 findet keine Vorlesung statt (Feiertag).

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.

Hörerkreis

Master Informatik, gleichzeitiger Besuch des Praktikums zur Veranstaltung möglich.

Benötigte Vorkenntnisse

Praktikum

Es wird ein vorlesungsbegleitendes Praktikum angeboten.
Beginn des Praktikums ist zur Mitte des Semesters.

Literatur

Nützliche Links