{"product_id":"higher-order-logic-and-hardware-verification-31-cambridge-tracts-in-theoretical-computer-science-series-number-31-9780521417181","title":"Higher Order Logic and Hardware Verification 31 Cambridge Tracts in Theoretical Computer Science Series Number 31","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53130605101399,"sku":"9780521417181","price":88.0,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/higher-order-logic-and-hardware-verification-31-cambridge-tracts-in-theoretical-computer-science-series-number-31-9780521417181","provider":"Book Curl","version":"1.0","type":"link"}