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. $41.89, 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. $50.42, 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. $61.76, new condition, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 1996 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming with Formal Methods to cart. $65.29, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1996 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming with Formal Methods to cart. $77.92, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1996 by Cambridge University Press.
Add this copy of The Way of Z (Practical Programming With Formal Methods to cart. $89.24, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1996 by Cambridge University Press.
Add this copy of The Way of Z: Practical Programming with Formal Methods to cart. $89.57, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1996 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. $146.35, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1996 by Cambridge University Press.
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.
