Understanding Z : A Specification Language and its Formal Semantics

Name: Understanding Z
Brand: Cambridge University Press
SKU: 9780521054140
Price: 6850 KES
Availability: OutOfStock
ISBN: 9780521054140

by J. M. Spivey

Book Details

Format Paperback / softback

Book Series Cambridge Tracts in Theoretical Computer Science

ISBN-10 0521054141

ISBN-13 9780521054140

Publisher Cambridge University Press

Imprint Cambridge University Press

Country of Manufacture GB

Country of Publication GB

Publication Date Jan 21st, 2008

Print length 140 Pages

Weight 234 grams

Dimensions 23.90 x 17.00 x 0.80 cms

Product Classification: Software Engineering Mathematical theory of computation

KSh 6,850.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Understanding Z by J. M. Spivey at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has 140 pages.