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

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
LSN:	0-387-98417-8
Barcode:	9780387984179

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!