A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Read More
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 750grams, ISBN: 9780521559768.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 700grams, ISBN: 9780521559768.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Trade paperback (US). Glued binding. 372 p. Contains: Unspecified, Figures. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
The author does a commendable job trying to convince the reader that formal methods lend value to software development. Anyone interested in the topic of formal specification techniques might benefit from reading this book, which focusses on realistic test cases of mission critical systems to present a tutorial on using Z. However, despite the best efforts of the author to drive home the usefulness of using Z as a FST, there is little mention of the disadvantages of using formal methods in industry. While Z is gaining promise as a formal methodology specification tool, it is not as easy as one might think to find a software tool that allows one to easily generate Z schemas and axioms using the Z symbology. For example, Z/Eves is available as a 16bit Windows application that is no longer being distributed or supported on modern systems yet many institutions of higher learning regard Z/Eves as the defacto tool for creating specifications in Z. Overall, The Way of Z is a good first primer on using Z. It is more of a broad overview than a specific text on Z. I reluctantly recommend it yet I walk away from this book with the feeling that I am not 100% convinced that Z is the FST that should gain widespread usage.
