Spezifikationen

sum := 0 ;

k := 0 ;

WHILE k < N DO

BEGIN

k := k+1 ;

sum := sum+k

END

{ N ³ 0 }

Vorbedingung :

Nachbedingung :

unbekanntes

Programm :

?

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen