Variablenvertauschung
{ x=A and y=B }
temp := x ;
x := y ;
y := temp
{ x=B and y=A }
Lösung :
NPPV liefert :
true
Konstruiere ein Programm, das den Inhalt zweier
Variablen vertauscht :
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen