Universität Bremen
FB 3 CXL

Formale Modellierung

Übungsblätter

Hier werden sich die Übungsblätter zur Veranstaltung finden.

Scheinbedingungen

In der ersten Vorlesung wurden folgende Scheinkriterien für den Übungsbetrieb beschlossen:

Alternativ ist immer eine mündliche Modulprüfung möglich.

Links zu Isabelle