Error title
Some error text about your books and stuff.
Close

Refinement Calculus a Systematic Introduction

by Ralph-Johan Back

  • ISBN: 9780387984179
  • ISBN10: 0387984178

Refinement Calculus a Systematic Introduction

by Ralph-Johan Back

  • List Price: $149.00
  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 04/01/1998
  • ISBN: 9780387984179
  • ISBN10: 0387984178
new Add to Cart $108.20
You save: 27%
FREE economy shipping!
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
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).