« Méthode B » : différence entre les versions
Contenu supprimé Contenu ajouté
m a déplacé Programmation méthode B vers Méthode B : ce n'est pas de la programmation |
màj sommaire suite à renommage ; recat |
||
Ligne 2 :
{{Sur Wikipédia|Méthode B}}
*[[Programmation méthode B/Introduction|Introduction]]▼
*[[Programmation méthode B/Bases de la spécification|Bases de la spécification]]▼
**[[Programmation méthode B/B classique|B « classique »]]▼
**[[Programmation méthode B/Première machine abstraite|Première machine abstraite]]▼
**[[Programmation méthode B/Spécification algébrique|Spécification algébrique]]▼
**[[Programmation méthode B/Concept de précondition|Concept de précondition]]▼
**[[Programmation méthode B/Notation textuelle|Notation textuelle]]▼
*[[Programmation méthode B/Extension B événementiel|B « événementiel »]]▼
*[[Programmation méthode B/Différence avec Z|Différence avec Z]]▼
*[[Programmation méthode B/Bibliographie et référence|Bibliographie et référence]]▼
*[[Programmation méthode B/Conclusion|Conclusion]]▼
[[Catégorie:Programmation méthode B (livre)|!]]
[[Catégorie:
| |||