{"product_id":"9780387984179","title":"Refinement Calculus : A Systematic Introduction (Graduate Texts in Computer Science) (1998. XV, 519 p. w. 27 figs. 24 cm)","description":"\u003cp\u003eMuch 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.\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":49691809579256,"sku":"00000_00000_00000_00000","price":233.04,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9780387984179-1.jpg?v=1785362308","url":"https:\/\/kinokuniya.com.au\/products\/9780387984179","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}