This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via ...
Read More
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via ...
Read Less
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $3.00, good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1996 by Prentice Hall.
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $11.25, very good condition, Sold by Greener Books rated 4.0 out of 5 stars, ships from London, UNITED KINGDOM, published 1996 by Prentice Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence!
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $14.99, very good condition, Sold by Brit Books rated 4.0 out of 5 stars, ships from Milton Keynes, BUCKINGHAMSHIRE, UNITED KINGDOM, published 1996 by Prentice Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Simply Brit – welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there's something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $19.90, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1996 by Prentice Hall.
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: 9780139484728.
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $19.90, poor condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1996 by Prentice Hall.
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: 9780139484728.
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $25.28, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1996 by Prentice Hall.
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. Clean from markings. 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, 850grams, ISBN: 9780139484728.
Add this copy of Using Z: Specification, Refinement, and Proof to cart. $26.26, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1996 by Prentice Hall.
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. Clean from markings. 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, 850grams, ISBN: 9780139484728.
Add this copy of Using Z: Specification, Refinement, and Proof (Prentice to cart. $44.32, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Prentice Hall.
Add this copy of Using Z: Specification, Refinement, and Proof (Prentice to cart. $102.22, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1996 by Prentice Hall.
