Understanding Z

A Specification Language and its Formal Semantics

Häftad, Engelska, 2008

Av J. M. (University of Oxford) Spivey, J. M. Spivey, Spivey J. M.

619 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.