# Spécification formelle avec B

> Fiche œuvre du catalogue https://superlivre.fr/livre/specification-formelle-avec-b-9560de048755 (données du dépôt légal BnF).

- **Auteur** : [Henri Habrias](https://superlivre.fr/auteur/henri-habrias-cb11906653j) (1946–)
- **contributeurs** : [Jean-Yves Lafaye](https://superlivre.fr/auteur/jean-yves-lafaye-cb126575148), [Marie-Laure Potet](https://superlivre.fr/auteur/marie-laure-potet-cb12488892d)
- **Première parution** : 2001
- **Langue** : français
- **Genres** : [B (méthode formelle)](https://superlivre.fr/genre/b-methode-formelle-cb12569468f)
- **Éditions recensées** : 1 (2001–2001)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2001 | [Hermès science publ.](https://superlivre.fr/editeur/hermes-science-publ) | Paris | 414 | 2-7462-0302-2 |