{"product_id":"mathematical-methods-of-specification-and-synthesis-of-software-systems-85-9783112733400","title":"Mathematical Methods of Specification and","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e","brand":"de Gruyter","offers":[{"title":"Default Title","offer_id":49537239449943,"sku":"9783112733400","price":117.5,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/mathematical-methods-of-specification-and-synthesis-of-software-systems-85-9783112733400","provider":"Book Curl","version":"1.0","type":"link"}