Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

| book details |

Refinement Calculus: A Systematic Introduction

By (author) Ralph-Johan Back, By (author) Joakim Wright

| on special |

normal price: R 4 229.95

Price: R 3 806.95

| book description |

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.

| product details |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag New York Inc.
Published date | 13 Apr 1998
Language |
Format | Paperback / softback
Pages | 520
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-0-3879-8417-9
Readership Age |
BISAC | mathematics / calculus

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 552.95
now: R 497.95
Available from overseas. Usually dispatched in 14 days

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Usually dispatched in 6-12 days
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
Copyright 2026 |  terms and conditions