English
Paperback
₹4068
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author(s)
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.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9780521054140
Publication Date
-28-02-2008
Pages
-140
Weight
-239 grams
Dimensions
-169.93x244.09x7.79 mm
