{"product_id":"on-the-refinement-calculus-von-carroll-morgan-trevor-vickers-hrsg","title":"On the Refinement Calculus","description":"\n                                \n                \u003cb\u003eOn the Refinement Calculus\u003c\/b\u003e\n                                 gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540199311\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540199311","offer_id":39433177202781,"sku":"9783540199311","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c9775358-4c45-41e1-a19f-2da99d240967.jpg?v=1772084549","url":"https:\/\/shop.autorenwelt.de\/products\/on-the-refinement-calculus-von-carroll-morgan-trevor-vickers-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}