Search the Library Catalogue
Refinement Calculus : A Systematic Introduction
Back, Ralph-johan
Refinement Calculus : A Systematic Introduction /Ralph-Johan Back, Joakim von Wright - New York, Springer, 1998. - xv, 519 p. ; 24 cm
Includes index
Much current research in computer science is concerned with two questions: is a program correct? 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
9780387984179
Programmazione Sequenziale Verifica Dei Programmi
005.14 / BAC
Refinement Calculus : A Systematic Introduction /Ralph-Johan Back, Joakim von Wright - New York, Springer, 1998. - xv, 519 p. ; 24 cm
Includes index
Much current research in computer science is concerned with two questions: is a program correct? 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
9780387984179
Programmazione Sequenziale Verifica Dei Programmi
005.14 / BAC