Licence d'Informatique fondamentale

Licence d'Informatique fondamentale

Licence d'Informatique fondamentale. Corrigé de l'examen de programmation 2. 2006-2007. Exercice 2 (Sémantique axiomatique). 1. L'invariant de la boucle est ...