Assertions et Programmes
Logique de Hoare. 5. Récursion .... Comment corriger le programme ? . Le PGCD
... Une assertion est une proposition logique, décrivant une propriété d'un état ...
Logique de Hoare. 5. Récursion .... Comment corriger le programme ? . Le PGCD
... Une assertion est une proposition logique, décrivant une propriété d'un état ...