Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis

Buy Now

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998) Loot Price: R3,109

Discovery Miles 31 090

Repayment Terms: R291 pm x 12*

Add to cart

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998): Ralph-Johan Back,...

Refinement Calculus - A Systematic Introduction (Paperback, Softcover reprint of the original 1st ed. 1998)

Ralph-Johan Back, Joakim Wright

Series: Texts in Computer Science

(sign in to rate)

Loot Price R3,109 Discovery Miles 31 090 | Repayment Terms: R291 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Texts in Computer Science
Release date:	April 1998
First published:	1998
Authors:	Ralph-Johan Back • Joakim Wright
Dimensions:	235 x 155 x 27mm (L x W x T)
Format:	Paperback
Pages:	520
Edition:	Softcover reprint of the original 1st ed. 1998
ISBN-13:	978-0-387-98417-9
Categories:	Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > General Promotions
LSN:	0-387-98417-8
Barcode:	9780387984179