Exercices corrigés en langage Z / Pascal André

Public ISBD Titre : Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple Type de document : texte imprimé Auteurs : Pascal André (1967-....), Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2004 Collection : Technosup ISBN/ISSN/EAN : 978-2-7298-1942-2 Catégories : Informatique Informatique:programmes Informatique:programmes:Langages de programmation Mots-clés : Z (langage de programmation)  Problèmes et exercices  Méthodes formelles (informatique) Index. décimale : 005.133 Langages de programmation spécifiques Résumé : Niveau C (Compléments) Pour la maîtrise du langage Z et pour comprendre les spécifications formelles, un livre qui complète un précédent ouvrage des mêmes auteurs sur Z, en proposant des exercices avec solutions, précisions sur les démarches suivies et conseils de modélisation. Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2004. - (Technosup) . ISBN : 978-2-7298-1942-2 Catégories : Informatique Informatique:programmes Informatique:programmes:Langages de programmation Mots-clés : Z (langage de programmation)  Problèmes et exercices  Méthodes formelles (informatique) Index. décimale : 005.133 Langages de programmation spécifiques Résumé : Niveau C (Compléments) Pour la maîtrise du langage Z et pour comprendre les spécifications formelles, un livre qui complète un précédent ouvrage des mêmes auteurs sur Z, en proposant des exercices avec solutions, précisions sur les démarches suivies et conseils de modélisation.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9782729819422MIT001	005.133/194	Livre	Maths&Informatique	Fonds informatique	Disponible
9782729819422MIT002	005.133/194	Livre	Maths&Informatique	Fonds informatique	Disponible

---

1 (1 - 1 / 1)