%0 Book %1 back_98_refinement %A Back, Ralph J. %A Wright, Joakim %D 1998 %I Springer %K _hardcopy 1998 refinement calculus _book %T Refinement Calculus: A Systematic Introduction (Texts in Computer Science) %U http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0387984178 %X 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. %@ 0387984178

@book{back_98_refinement, abstract = {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.}, added-at = {2009-02-12T00:08:31.000+0100}, author = {Back, Ralph J. and Wright, Joakim}, biburl = {https://www.bibsonomy.org/bibtex/27a993e9ad9e3bae185280a195c756b6f/leonardo}, citeulike-article-id = {1251919}, howpublished = {Paperback}, interhash = {aa958431c461f218359e816d794685c0}, intrahash = {7a993e9ad9e3bae185280a195c756b6f}, isbn = {0387984178}, keywords = {_hardcopy 1998 refinement calculus _book}, month = {April}, posted-at = {2007-04-26 05:38:50}, priority = {3}, publisher = {Springer}, timestamp = {2009-02-12T00:08:31.000+0100}, title = {Refinement Calculus: A Systematic Introduction (Texts in Computer Science)}, url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0387984178}, year = 1998 }