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é, Auteur ; Alain Vailly, Auteur
Editeur :	Paris : Ellipses
Année de publication :	2004
Collection :	Technosup (Paris), ISSN 1275-3955
Importance :	243 p.
Présentation :	ill., couv. ill.
Format :	26 cm.
ISBN/ISSN/EAN :	2-7298-1942-8
Note générale :	Bibliogr. p. 231. Index.
Langues :	Français (fre)
Index. décimale :	08-02 Logiciels et programmation

Exercices corrigés en langage Z : Génie logiciel ; les spécifications formelles par l'exemple [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2004 . - 243 p. : ill., couv. ill. ; 26 cm.. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 2-7298-1942-8
Bibliogr. p. 231. Index.
Langues : Français (fre)

Index. décimale :

08-02 Logiciels et programmation