Refinement Calculus a Systematic Introduction
- List Price: $149.00
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 04/01/1998
Description:
Much current research in computer science is concerned with two questions: Is the program correct? and How can we improve a correct program while preserving correctness? This book considers these questions within a systematic exploration of refinement calculus, including numerous exercises of varying degrees of difficulty.
Expand description
Please Wait