Cours, TD et TP de preuves de programmes - Irif

Écrire un programme impératif prenant en entrée un entier n et permettant de ....
2. l'ouvrage Cours et exercices corrigés d'algorithmique, vérifier, tester et ...

Part of the document