Vorlesung Modellierung WS 2001/2002 - Folie Nr. 317

Ziele:
Terminierungsnachweis verstehen

in der Vorlesung:

• Erläuterungen zu den Schritten.
• Der Ausdruck E braucht selbst nicht in der Schleife vorzukommen.
• Beispiele dazu.