Exercices corrigés en langage Z : les spécifications formelles par l'exemple
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
Paris :
Ellipses
DL 2004.
|
| Collection: | Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Description matérielle: | 1 vol. (II-243 p.) : Ill. ; 26 cm. |
|---|---|
| Public: | Ecoles d'ingénieurs, Maîtrise |
| Bibliographie: | Bibliogr. p. [231] |
| ISBN: | 2729819428 (br.) : |