₹3827
₹4647
(18% Off)
Inclusive of all taxes
Qty
Buying in bulk?
In Stock
Guaranteed Service
Free Home Delivery
above ₹199
Check Delivery
Enter pincode for exact delivery dates / charges and to know if express delivery is available
Formal Specification Using Z (Grassroot Series)
by David Lightfoot (Author),
St. Martin's Press (Publisher)
Product Specifications
Book Description
This book aims to help readers learn about formal specification using the Z
language. The author argues that formal specification offers benefits to the
developers of computer systems and that it will make a contribution towards
improving their quality. The book is primarily aimed at those who are not as
familiar with mathematics as the mathematician and in this respect certain
aspects of the explanations have been kept more informal and given less emphasis
than others.The chapters of this book contain explanations of the mathematics of
Z, interleaved with the development of an example specification. The chapters
covering mathematics finish with a summary of the notion introduced
Book Specifications
ISBN-13 9780333763278
Language English
Binding Hard Bound
Publisher St. Martin's Press
Publishing Date 2000-12-06
Product Edition 2 Rev ed
Total Pages 164