Understanding z: a specification language and its formal semantics
Auteur :
Spivey, J. M.
Éditeur :
Cambridge University Press
ISBN :
9780521054140
Date de publication :
21 janv. 2008
Dimensions :
23,9 x 17,0 x 0,8 cm
Poids :
234 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.