background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search bouklenn
Klasket a-raok / Previous search bouklenn
anvariant boukl g. invariant de boucle
informatique ◊ assertion qui est vraie durant toute l'exécution d'une boucle
anglais : loop invariant