J. M. Spivey – författare
Visar alla böcker från författaren J. M. Spivey. Handla med fri frakt och snabb leverans.
1 produkter
Understanding Z
A Specification Language and its Formal Semantics
Av J. M. Spivey
Häftad, 2008
639 kr
Lägg i varukorg
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. Z is compared with …
