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

**[[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]]