École Centrale Paris Correction PC Logique de Hoare Exercice 1 ...
Correction PC Logique de Hoare. Exercice 1 Soit le programme P : q = 0; r = A;.
WHILE r >= B DO r = r - B; q = q + 1;. END. Montrer l'assertion suivante : {A ? 0 ...
Correction PC Logique de Hoare. Exercice 1 Soit le programme P : q = 0; r = A;.
WHILE r >= B DO r = r - B; q = q + 1;. END. Montrer l'assertion suivante : {A ? 0 ...