Refinement Calculus : a Systematic Introduction /

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 settin...

Full description

Bibliographic Details

Main Author:	Back, Ralph-Johan
Corporate Author:	SpringerLink (Online service)
Other Authors:	Wright, Joakim
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1998.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Information theory. Electronic books.
Online Access:	Connect to the full text of this electronic book