Titre :	Exercices corrigés en langage Z - Les spécifications formelles par l'exemple
Type de document :	texte imprimé
Auteurs :	André Pascal, Auteur ; Vailly Alain, Auteur
Editeur :	Paris : ellipses edition marketing
Année de publication :	2004
Collection :	technosup
Importance :	256p
Présentation :	couv:ill
Format :	26cm
ISBN/ISSN/EAN :	978-2-7298-1942-2
Langues :	Français (fre)
Tags :	Génie logiciel
Index. décimale :	005.1
Résumé :	Le langage Z-La spécification avec Z-La spécification avec Z : la facturation des commandes-Des compléments pour la modélisation avec

Exercices corrigés en langage Z - Les spécifications formelles par l'exemple [texte imprimé] / André Pascal, Auteur ; Vailly Alain, Auteur . - Paris : ellipses edition marketing, 2004 . - 256p : couv:ill ; 26cm. - (technosup) .
ISBN : 978-2-7298-1942-2
Langues : Français (fre)

Tags :	Génie logiciel
Index. décimale :	005.1
Résumé :	Le langage Z-La spécification avec Z-La spécification avec Z : la facturation des commandes-Des compléments pour la modélisation avec