Version du 16 novembre 2005 à 13:47 modifier Bayo (discussion \| contributions) 106 modifications Aucun résumé des modifications ← Modification précédente		Version du 16 novembre 2005 à 13:47 modifier annuler Bayo (discussion \| contributions) 106 modifications Aucun résumé des modifications Modification suivante →
Ligne 4 : [[Programmation méthode B classique\|B « classique »]] [[Programmation méthode B événementiel\|B « événementiel »]] [[\|Programmation méthode B Concept de précondition\|Concept de précondition]] [[Programmation méthode Notation textuelle\|Notation textuelle]] *[[Programmation méthode B Conclusion\|Conclusion]]

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