Invariant (informatika): Porovnání verzí

Smazaný obsah Přidaný obsah
mBez shrnutí editace
Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta15)
Řádek 17:
| url = http://homepages.ius.edu/RWISMAN/C455/html/notes/Chapter2/LoopInvariantProof.htm
| jazyk = anglicky
| titul = Archivovaná kopie
}}</ref>
| url archivu = https://web.archive.org/web/20130519223252/http://homepages.ius.edu/RWISMAN/C455/html/notes/Chapter2/LoopInvariantProof.htm
| datum archivace = 2013-05-19
| nedostupné = ano
}}</ref>
int i = 0;
while( i < 10 ){