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
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $9.90, poor condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2001 by Cambridge University Press.
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.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $9.90, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1997 by Cambridge University Press.
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.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $40.82, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1997 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $41.90, new condition, Sold by sellerfromthewest rated 4.0 out of 5 stars, ships from Hayward, CA, UNITED STATES, published 1997 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $62.63, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1997 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $95.47, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1997 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $102.68, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1997 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $12.99, good condition, Sold by St. Vinnie's Books rated 5.0 out of 5 stars, ships from Eugene, OR, UNITED STATES, published 1996 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $13.49, very good condition, Sold by BooksRun rated 5.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 1996 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming With Formal Methods to cart. $20.66, good condition, Sold by SurplusTextSeller rated 5.0 out of 5 stars, ships from Columbia, MO, UNITED STATES, published 1996 by Cambridge University Press.
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).
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.
