Spécification et conception des systèmes à objets - Exercices corriges
3.4.4 - Règle du schémas répétitif. 3.4.5 - Propriétés logiques de la
conditionnelle alternative. 3.4.6 - Exercice. 3.5 - Dijkstra : Plus faible précondition
: wp(S,Q).
3.4.4 - Règle du schémas répétitif. 3.4.5 - Propriétés logiques de la
conditionnelle alternative. 3.4.6 - Exercice. 3.5 - Dijkstra : Plus faible précondition
: wp(S,Q).