# Introduction à la spécification : vers la spécification formelle, cours de génie logiciel

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

- **Auteur** : [Henri Habrias](https://superlivre.fr/auteur/henri-habrias-cb11906653j) (1946–)
- **Première parution** : 1991
- **Langue** : français
- **Genres** : [Logiciels](https://superlivre.fr/genre/logiciels-cb133183707), [Spécifications](https://superlivre.fr/genre/specifications-cb11976002f), [Systèmes d'information](https://superlivre.fr/genre/systemes-dinformation-cb119419441)
- **Éditions recensées** : 2 (1991–1993)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1991 | [IUT, LIANA](https://superlivre.fr/editeur/iut-liana) | [Nantes] | 225 | 2-906082-11-2 |
| 1993 | [Masson](https://superlivre.fr/editeur/masson) | Paris. - Milan. - Barcelone | 347 | 2-225-82768-0 |