{"product_id":"refinement-calculus-a-systematic-introduction-texts-in-computer-science-0387984178","title":"Refinement Calculus: A Systematic Introduction (Texts in Computer Science)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0387984178\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Back, Ralph-Johan\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eMuch 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.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51855766323488,"sku":"NEW0387984178","price":117.4,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61MP4oaCSVL.jpg?v=1781541055","url":"https:\/\/miakarts.com\/products\/refinement-calculus-a-systematic-introduction-texts-in-computer-science-0387984178","provider":"Miakarts Books","version":"1.0","type":"link"}