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.
629 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.
Produktinformation
- Utgivningsdatum2008-01-21
- Mått170 x 239 x 8 mm
- Vikt234 g
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor140
- FörlagCambridge University Press
- EAN9780521054140