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

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Back, Ralph-Johan
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Netherlands Springer Nature 2012 Springer
Schriftenreihe:	Texts in Computer Science
Schlagworte:	Calculus Computer logic Computer programming Data processing Computer science
ISBN:	9781461216742, 1461216745, 9780387984179, 0387984178
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!