Examens corriges

Série 1 Preuves de correction partielle de programmes - [Verimag]

l'ouvrage Cours et exercices corrigés d'algorithmique, vérifier, tester et concevoir des programmes ... Pour prouver la correction d'un triplet de Hoare {P}code ...





Télécharger