Formal Specification Using Z
Released: Nov 11, 1991
Publisher: Palgrave HE UK
Format: Paperback, 180 pages
Related ISBN: 9780333763278
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 in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix.
Best prices to buy, sell, or rent ISBN 9780333544082
Frequently Asked Questions about Formal Specification Using Z
You can buy the Formal Specification Using Z book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .
The price for the book starts from $9.76 on Amazon and is available from 8 sellers at the moment.
If you’re interested in selling back the Formal Specification Using Z book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Formal Specification Using Z book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.