J. M. (University of Oxford) Spivey Forfatter
Viser 1 - 1 af 1 resultat
-
Understanding Z: A Specification Language and its Formal Semantics (Bog, Paperback / softback, Engelsk)
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.
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat