Telecharger Cours

CHOIX COURS AVEC TD

Pour raisonner sur les programmes, on a besoin de décrire les propriétés d'un état et son évolution au cours de l'exécution des instructions. Triplets de Hoare.



Download