2006-2007 ? UE H03 « Courbes algébriques - Université de Rennes
Corrigé de l'examen de programmation 2. 2006-2007. Exercice 2 (Sémantique axiomatique). 1. L'invariant de la boucle est : ?k, (bas < k ? i ? a[k] < a[bas]) ...
Corrigé de l'examen de programmation 2. 2006-2007. Exercice 2 (Sémantique axiomatique). 1. L'invariant de la boucle est : ?k, (bas < k ? i ? a[k] < a[bas]) ...