Modellierung WS 2010/11 - Folie 465

Ziele:
Terminierungsnachweis verstehen
in der Vorlesung:
- Erläuterungen zu den Schritten.
- Der Ausdruck E braucht selbst nicht in der Schleife vorzukommen.
- Beispiele dazu.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010