Version du 16 novembre 2005 à 13:54 modifier Bayo (discussion \| contributions) 106 modifications Aucun résumé des modifications ← Modification précédente		Version du 16 novembre 2005 à 13:57 modifier annuler Bayo (discussion \| contributions) 106 modifications Aucun résumé des modifications Modification suivante →
Ligne 7 : [[Programmation méthode B/Concept de précondition\|Concept de précondition]] [[Programmation méthode B/Notation textuelle\|Notation textuelle]] [[Programmation méthode B/Différence avec Z]] [[Programmation méthode B/Conclusion\|Conclusion]]

« Méthode B » : différence entre les versions