Skip to content

Refinement Calculus: A Systematic Introduction
Stock Photo: Cover May Be Different

Refinement Calculus: A Systematic Introduction Paperback - 1998

by Ralph-Johan Back; Joakim Wright


From the publisher

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

Details

  • Title Refinement Calculus: A Systematic Introduction
  • Author Ralph-Johan Back; Joakim Wright
  • Binding Paperback
  • Edition Softcover reprin
  • Pages 520
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 1998-04-13
  • Illustrated Yes
  • ISBN 9780387984179 / 0387984178
  • Weight 1.64 lbs (0.74 kg)
  • Dimensions 9.25 x 6.08 x 1.13 in (23.50 x 15.44 x 2.87 cm)
  • Library of Congress subjects Calculus, Computer programming
  • Library of Congress Catalog Number 97047336
  • Dewey Decimal Code 005.14
Back to Top

More Copies for Sale

Refinement Calculus: A Systematic Introduction
Stock Photo: Cover May Be Different

Refinement Calculus: A Systematic Introduction

by Ralph-Johan, B. and Wright, J.V.

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780387984179 / 0387984178
Quantity Available
1
Seller
Lincoln, Lincolnshire, Aberdeen, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£23.12
£12.75 shipping to USA

Show Details

Description:
Springer, 1998. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780387984179
Item Price
£23.12
£12.75 shipping to USA
Refinement Calculus : A Systematic Introduction

Refinement Calculus : A Systematic Introduction

by Ralph-Johan Back

  • New
Condition
New
ISBN 10 / ISBN 13
9780387984179 / 0387984178
Quantity Available
181
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£101.73
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Refinement Calculus : A Systematic Introduction.
Item Price
£101.73
£7.99 shipping to USA
Refinement Calculus (Pb 1998)
Stock Photo: Cover May Be Different

Refinement Calculus (Pb 1998)

by Back R.J.

  • Used
  • very good
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780387984179 / 0387984178
Quantity Available
1
Seller
Indianapolis, Indiana, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£113.24
£10.24 shipping to USA

Show Details

Description:
Very Good.
Item Price
£113.24
£10.24 shipping to USA
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Stock Photo: Cover May Be Different

Refinement Calculus: A Systematic Introduction (Texts in Computer Science)

by Back, Ralph-Johan; Wright, Joakim

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780387984179 / 0387984178
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£127.09
£8.10 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£127.09
£8.10 shipping to USA