TD n 3 - PRiSM

L'objet de ce TD est de se familiariser avec les invariants de boucle et de
manipuler ... Le but de l'exercice est d'écrire un programme qui calcule le pgcd (
plus ...

Part of the document