This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z.
Read More
This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good condition is defined as: a copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Most items will be dispatched the same or the next working day.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. All orders are dispatched within 1 working day from our UK warehouse. Established in 2004, we are dedicated to recycling unwanted books on behalf of a number of UK charities who benefit from added revenue through the sale of their books plus huge savings in waste disposal. No quibble refund if not completely satisfied.
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.
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.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Trade paperback (US). Glued binding. 386 p. Contains: Illustrations, black & white. Prentice-Hall International Series in Computer Science. Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation 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.
