La notation Z

La notation Z

Détails bibliographiques
Auteur principal : Spivey J. Mike (Auteur)
Autres auteurs : Lemoine Marie Dujardin Beaumetz (Traducteur)
Format : Livre
Langue : français
Titre complet : La notation Z / J. Mike Spivey; traduit de l'anglais par M. Lemoine
Publié : Paris, London : Masson , 1994, cop. 1993
Prentice-Hall
Description matérielle : 1 vol. (XII-155 p.)
Collection : Méthodologies du logiciel (Paris) ; 4
Traduction de : The Z notation : a reference manual
Sujets :
Z (méthode formelle)
Logiciels > Spécifications
Systèmes, Conception de
Description
Notes : Trad. de : "The Z notation : a reference manual"
Bibliographie : Glossaire. Index
ISBN : 2-225-84367-8