Refinement Calculus: A Systematic Introduction (Texts in Computer Science) - Softcover

Buch 27 von 83: Texts in Computer Science

Back, Ralph-Johan

 
9780387984179: Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Softcover
ISBN 10: 0387984178 ISBN 13: 9780387984179
Verlag: Springer, 2013

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
0387984178
ISBN 13 
9780387984179
Einband
Taschenbuch
Anzahl der Seiten
540
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland