Nantilus
Exercices corrigés en langage Z : les spécifications formelles par l'exemple
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Exercices corrigés en langage Z : les spécifications formelles par l'exemple / Pascal André,... Alain Vailly,... |
| Publié : |
Paris :
Ellipses
, DL 2004 |
| Description matérielle : | 1 vol. (II-243 p.) |
| Collection : | Technosup Génie logiciel les filières technologiques des enseignements supérieurs [dir. par Claude Chèze] |
| Sujets : |
Chargement en cours