Modellierung WS 2011/12 - Folie 321

Ziele:
Axiome spezifizieren Eigenschaften
in der Vorlesung:
- Die drei Beispiele erläutern
- Über Keller nachdenken, ohne sie zu implementieren
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 17.11.2011