# Exercices corrigés en langage Z : génie logiciel, les spécifications formelles par l'exemple

> Fiche œuvre du catalogue https://superlivre.fr/livre/exercices-corriges-en-langage-z-be67cdfd0ce5 (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** : 2004
- **Langue** : français
- **Genres** : [Méthodes formelles (informatique)](https://superlivre.fr/genre/methodes-formelles-informatique-cb13539618z), [Problèmes et exercices](https://superlivre.fr/genre/problemes-et-exercices-cb11975731q), [Z (méthode formelle)](https://superlivre.fr/genre/z-methode-formelle-cb12258426j)
- **Éditions recensées** : 1 (2004–2004)

## Éditions

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