La notation Z

La notation Z

Saved in:
Bibliographic Details
Main Author : Spivey J. Mike (Auteur)
Other Authors : Lemoine Marie Dujardin Beaumetz (Traducteur)
Format : Book
Language : français
Title statement : La notation Z / J. Mike Spivey; traduit de l'anglais par M. Lemoine
Published : Paris, London : Masson , 1994, cop. 1993
Prentice-Hall
Physical Description : 1 vol. (XII-155 p.)
Series : Méthodologies du logiciel (Paris) ; 4
Traduction de : The Z notation : a reference manual
Subjects :
Z (méthode formelle)
Logiciels > Spécifications
Systèmes, Conception de
Description
Notes : Trad. de : "The Z notation : a reference manual"
Bibliography : Glossaire. Index
ISBN : 2-225-84367-8