Back, Ralph-johan <br/><br/>
Refinement Calculus : A Systematic Introduction 
/Ralph-Johan Back, Joakim von Wright 
 - New York,   Springer,  1998. 
 - xv, 519 p. ;   24 cm 
<br/><br/>Includes index 
<br/><br/> 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 
<br/><br/><label>ISBN: </label>9780387984179 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Programmazione Sequenziale Verifica Dei Programmi
<br/><br/><label>Dewey Class. No.: </label>005.14  / BAC