4192765
9780387198095
On the Refinement Calculus - Carroll Morgan - Hardcover
by Morgan, Carroll, Vickers, Trevor
370333
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9780387198095
- ISBN: 0387198091
- Publisher: Springer
AUTHOR
SUMMARY
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.Morgan, Carroll is the author of 'On the Refinement Calculus - Carroll Morgan - Hardcover' with ISBN 9780387198095 and ISBN 0387198091.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
