Del 27
Del 3 i serien Cambridge Tracts in Theoretical Computer Science
Understanding Z
A Specification Language and its Formal Semantics
Häftad, Engelska, 2008
829 kr
Beställningsvara. Skickas inom 5-8 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. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.
Produktinformation
- Utgivningsdatum2008-01-21
- Mått170 x 239 x 8 mm
- Vikt234 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor140
- FörlagCambridge University Press
- ISBN9780521054140
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 34
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad, 2005
1 149 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 509 kr
Del 40
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 28
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2006
1 069 kr
Del 42
Del 46
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 3
- Nyhet
Del 11
- Nyhet
- Nyhet
- Nyhet
Del 4
Del 1
- Nyhet
Del 4
- Nyhet
Del 6
Del 3