{"product_id":"new-paradigms-in-computer-aided-verification-9781639896905","title":"New Paradigms in Computer Aided Verification","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e","brand":"States Academic Press","offers":[{"title":"Default Title","offer_id":51041868349783,"sku":"9781639896905","price":115.15,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/new-paradigms-in-computer-aided-verification-9781639896905","provider":"Book Curl","version":"1.0","type":"link"}