Logique Travaux Dirigés - Partie 7 Corrigés - Université Bretagne Sud

de calculer la racine carré entière d'un entier n, puis prouver sa correction. Exercice 9. (Drapeaux de Dijkstra) Le but de cet exercice est de construire un ...