Examens corriges

LOGIQUE DE HOARE - IREMI de la Réunion

Logique de Hoare. Exercice L'algorithme suivant calcule les entiers q et r t.q. q = x/y et q ? y + r = x. Prouver : {x ? 0 ? y > 0} q:=0; r:=x; while r ...





Télécharger