Home
Understanding Z by J. M. Spivey, Paperback | Indigo Chapters
Coles
Understanding Z by J. M. Spivey, Paperback | Indigo Chapters
From J. M. Spivey
Current price: $51.95
Loading Inventory...
Size: 1 x 1 x 1
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
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. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks. | Understanding Z by J. M. Spivey, Paperback | Indigo Chapters
You May Also Like
More About Coles at Pine Centre
Shop Coles for bestselling books, toys, stationary, and so much more!
3079 Massey Dr, Prince George, BC V2N 1R4, Canada
