# Introduction à la méthode de spécification formelle B

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

- **Auteur** : [Jean-Raymond Abrial](https://superlivre.fr/auteur/jean-raymond-abrial-cb13489775x) (1938–2025)
- **contributeurs** : [Teknea](https://superlivre.fr/auteur/teknea-cb13946863h), [Institut universitaire de technologie. Nantes](https://superlivre.fr/auteur/institut-universitaire-de-technologie-nantes-cb13888821q)
- **Première parution** : 1994
- **Langue** : français
- **Genres** : [Programmation (informatique)](https://superlivre.fr/genre/programmation-informatique-cb11932648m)
- **Éditions recensées** : 1 (1994–1994)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1994 | [Teknea](https://superlivre.fr/editeur/teknea) | Toulouse. - Toulouse |  | 2-906082-18-X |