# Spécification des logiciels : deux exemples de pratiques récentes Z et UML, génie logiciel

> Fiche œuvre du catalogue https://superlivre.fr/livre/specification-des-logiciels-cf97357ec766 (données du dépôt légal BnF).

- **Auteurs** : [Alain Vailly](https://superlivre.fr/auteur/alain-vailly-cb13049886b), [Pascal André](https://superlivre.fr/auteur/pascal-andre-cb13758239b)
- **Première parution** : 2001
- **Langue** : français
- **Genres** : [Manuels d'enseignement supérieur](https://superlivre.fr/genre/manuels-denseignement-superieur-cb12167353z)
- **Éditions recensées** : 1 (2001–2001)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2001 | [Ellipses](https://superlivre.fr/editeur/ellipses) | Paris | 317 | 2-7298-0774-8 |