MRP: ₹4654
₹3833
₹ 821 Off
(Incl. of all taxes)
Qty
Buying in bulk?
In stock
Deliver to
- 7-day returns
- Secure payment
- International shipping
- Carefully packed
Get this at ₹ 3641Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 3450Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
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
- 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
Formal Specification Using Z (Grassroot Series)
Frequently bought together
Total for 3 items₹3959₹4794You save ₹835
Product Specifications
Book Summary
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