# La spécification formelle avec Z

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

- **Auteur** : [David Lightfoot](https://superlivre.fr/auteur/david-lightfoot-cb12459100m)
- **traducteurs** : [Henri Habrias](https://superlivre.fr/auteur/henri-habrias-cb11906653j), [Pierre-Marie Delpech](https://superlivre.fr/auteur/pierre-marie-delpech-cb124591040)
- **Première parution** : 1994
- **Langue** : français
- **Genres** : [Z (méthode formelle)](https://superlivre.fr/genre/z-methode-formelle-cb12258426j)
- **Éditions recensées** : 1 (1994–1994)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1994 | [Teknea](https://superlivre.fr/editeur/teknea) | Toulouse | 191 | 2-87717-038-1 |