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
Format:	eBook
Language:	English
Published:	Netherlands Springer Nature 2012 Springer
Series:	Texts in Computer Science
Subjects:	Calculus Computer logic Computer programming Data processing Computer science
ISBN:	9781461216742, 1461216745, 9780387984179, 0387984178
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!