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

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