{"product_id":"mathematical-methods-of-specification-and-synthesis-of-software-systems-85-9783112733400","title":"Mathematical Methods of Specification and Synthesis of Software Systems ‘85","description":"No detailed description available for \"Mathematical Methods of Specification and Synthesis of Software Systems ‘85\".","brand":"Wolfgang Bibel","offers":[{"title":"Default Title","offer_id":48266450862331,"sku":"9783112733400","price":156.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0779\/3917\/9771\/files\/CoreSourceHub_9659ad77-dfb8-4dde-8cb9-2467de842d6a.jpg?v=1779744428","url":"https:\/\/indiepubs.com\/products\/mathematical-methods-of-specification-and-synthesis-of-software-systems-85-9783112733400","provider":"IndiePubs","version":"1.0","type":"link"}