background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search boucle

invariant de boucle anvariant boukl g.: informatique ◊ assertion qui est vraie durant toute l'exécution d'une boucle

anglais : loop invariant

invariant de boucle anvariant tro g.: informatique ◊ assertion qui est vraie durant toute l'exécution d'une boucle

anglais : loop invariant