# La méthode de spécification formelle B : construction de modèles mathématique

> Fiche œuvre du catalogue https://superlivre.fr/livre/la-methode-de-specification-formelle-b-01b7bb395e85 (données du dépôt légal BnF).

- **Auteur** : [Jean-Raymond Abrial](https://superlivre.fr/auteur/jean-raymond-abrial-cb13489775x) (1938–2025)
- **Première parution** : 1995
- **Langue** : français
- **Genres** : [B (méthode formelle)](https://superlivre.fr/genre/b-methode-formelle-cb12569468f)
- **Éditions recensées** : 1 (1995–1995)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1995 | [IUT informatique](https://superlivre.fr/editeur/iut-informatique) | Nantes |  | 2-906082-20-1 |