| 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. / ill., couv. ill. / 26 cm |
| Note générale : | Bibliogr. p. 231. Index |
| Langues: | Français |
| Index. décimale : | 005.1 |
| Mots-clés: | ; Z (langage de programmation) ; Problèmes et exercices ; Méthodes formelles (informatique) ; Problèmes et exercices |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 272981942201 | 005.13/20 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 272981942202 | 005.13/20 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 272981942203 | 005.13/20 | Livre | Bibliothèque Estin | Documentaires | Disponible |
