{"product_id":"a-john-mcdermid-the-theory-and-practice-of-refinement-approaches-to-the-formal-development-of-large-scale-software-systems-9780408039819","title":"The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems","description":null,"brand":"Architectural Press","offers":[{"title":"Default Title","offer_id":53737152282966,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780408039819_1.jpg?v=1781782686","url":"https:\/\/www.momoxbooks.com\/products\/a-john-mcdermid-the-theory-and-practice-of-refinement-approaches-to-the-formal-development-of-large-scale-software-systems-9780408039819","provider":"momoxbooks","version":"1.0","type":"link"}