Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science - Spivey, J. M. (University of Oxford) - Books - Cambridge University Press - 9780521054140 - January 21, 2008
In case cover and title do not match, the title is correct

Spivey, J. M. (University of Oxford)
Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science

Price
$ 62.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

140 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 21, 2008
ISBN13 9780521054140
Publishers Cambridge University Press
Pages 140
Dimensions 170 × 239 × 8 mm   ·   234 g
Language English  

Mere med samme udgiver

See all of Spivey, J. M. (University of Oxford) ( e.g. Paperback Book )