Cours de Génie Logiciel
Exercices avec correction
Maîtrise d'Informatique 2001-2002
Rappels sur la logique de Hoare
Conditionnelle
Affectation
Échange de valeurs
Boucle
Langage de la méthode B
Formules
Objets et formules
Substitutions
This document was tranlated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.