Willkommen bei Scribd!
Akademisch Dokumente
Beruflich Dokumente
Kultur Dokumente
Hobbys und Handwerk Dokumente
Persönliches Wachstum Dokumente
con: x, y: Z
var: q, r: Z
r, q := x, 0;
{Inv P: x = q * y + r, 0 < r}
{Cota t = r}
do B --> S
od
r >= y
r <= y
q<x
q <= x
r>q