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 Authors:	Back, Ralph-Johan, Wright, J. (Joakim) von
Format:	eBook Book
Language:	English
Published:	New York, NY Springer 1998 Springer New York
Edition:	1
Series:	Texts in Computer Science
Subjects:	Calculus Computer logic Computer programming Computer Science Electronic digital computers > Programming Information theory Theory of Computation
ISBN:	9780387984179, 0387984178, 1461216753, 9781461216759
ISSN:	1868-0941, 1868-095X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!