Home > Term: invariant de boucle
invariant de boucle
Une expression logique spécifiant un ou plusieurs des conditions qui doivent être remplies chaque fois qu'un point particulier dans une boucle de programme est exécutée.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Roux
-
(V.I.P) 14865 points - 100% positive feedback
(Le Mans, France)
