Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search dro

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

anglais : loop invariant