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

Back, Ralph-Johan, Wright, Joakim

ISBN 10: 0387984178 / ISBN 13: 9780387984179

Published by Springer, 1998

About this Item

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA77303879841786

Bibliographic Details

• Title: Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
• Publisher: Springer
• Publication Date: 1998
• Language: English
• ISBN 10: 0387984178
• ISBN 13: 9780387984179
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

Synopsis

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.