GEOTRUST SSL CERTIFICATE
| Titre : | Exercices corrigés en langage Z, génie logiciel : les spécifications formelles par l'exemple |
| Auteurs : | Pascal André, Auteur ; Alain Vailly, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2004 |
| Collection : | Technosup |
| ISBN/ISSN/EAN : | 978-2-7298-1942-2 |
| Format : | II-243 p. / 26 x 18 cm |
| Note générale : |
Bibliogr. |
| Langues: | Français |
| Index. décimale : | 378.64 |
| Mots-clés: | systèmes d'information ; problèmes et exercices |
| Résumé : |
Cet ouvrage couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la conception des systèmes d'informations. Il comprend 80 exercices corrigés et commentés. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
