Modellierung WS 2010/11 - Folie 446

Ziele:
Ausschnitt aus einem größeren Beispiel
in der Vorlesung:
Erläuterungen zur
- Sprache Z,
- zur gestellten Aufgabe,
- zum Ausschnit aus der Spezifikation
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010