Modellierung WS 2010/11 - Folie 456
Ziele:
Von der Vor- zur Nachbedingung
in der Vorlesung:
- Zu jeder Anweisung ein Beiweisschritt
- Terminierung muss separat gezeigt werden
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010