Visitor

Views

Logique de Hoare - Sémantique des langages - ENSIIE

Triplets de Hoare. Triplet de Hoare. {P} prog {Q} o`u. P est la précondition ... La logique de Floyd/Hoare. Exercice. Exercices. Exercice 8.