DictionnaireLe forumContacts

Google | Forvo | +

proof of correctness in terms of loop invariants

contraintes
progr. доказательство правильности в терминах инвариантов циклов (ssn)

Ajouter | Signaler une erreur | Obtenir une URL courte