Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search poukl

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

anglais : loop invariant