# Alain Vailly

> Fiche auteur du catalogue https://superlivre.fr/auteur/alain-vailly-cb13049886b (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 8 (1980–2014)
- **Pagination médiane** : 313 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb13049886b

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1980 | [SYSACT, un outil d'aide à la conception et à l'écriture de systèmes distribués](https://superlivre.fr/livre/sysact-un-outil-daide-a-la-conception-et-a-lecriture-de-systemes-distribues-cb36091013n) |  | 71 |
| 2001 | [Conception des systèmes d'information](https://superlivre.fr/livre/conception-des-systemes-dinformation-0dd8eef5a3df) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 312 |
| 2001 | [Spécification des logiciels](https://superlivre.fr/livre/specification-des-logiciels-cf97357ec766) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 317 |
| 2002 | [Exercices corrigés de conception logicielle](https://superlivre.fr/livre/exercices-corriges-de-conception-logicielle-afee6555270e) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 314 |
| 2003 | [Exercices corrigés d'UML](https://superlivre.fr/livre/exercices-corriges-duml-8159cebd9a57) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 310 |
| 2004 | [Exercices corrigés en langage Z](https://superlivre.fr/livre/exercices-corriges-en-langage-z-be67cdfd0ce5) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 243 |
| 2013 | [Développement de logiciels avec UML 2 et OCL](https://superlivre.fr/livre/developpement-de-logiciels-avec-uml-2-et-ocl-a348267b801d) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 378 |
| 2014 | [Premiers pas en algorithmique](https://superlivre.fr/livre/premiers-pas-en-algorithmique-f48b6c1ea338) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 396 |

## Éditeurs principaux

- [Ellipses](https://superlivre.fr/editeur/ellipses) — 7 œuvres