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
used Add to Cart $18.00
You save: 88%
Marketplace Item
new Add to Cart $106.25
You save: 29%
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
Seller Condition Comments Price  
Seller: HPB-Dallas
Location: Dallas, TX
Condition: Good
Shipping Icon
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Price:
$18.00
Comments:
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$30.81
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
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: ).