Refinement Calculus : A Systematic Introduction

Joakim Wright, Ralph-Johan Back

ISBN 10: 0387984178 / ISBN 13: 9780387984179

Published by Springer New York, 1998

About this Item

Zustand: Gut | Seiten: 540 | Sprache: Englisch | Produktart: Bücher | 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.

Seller Inventory # 105985/3

Bibliographic Details

• Title: Refinement Calculus : A Systematic Introduction
• Publisher: Springer New York
• Publication Date: 1998
• Language: English
• ISBN 10: 0387984178
• ISBN 13: 9780387984179
• Binding: Soft cover
• Condition: Gut
• Seller catalogs:
  • Bücher

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.