{"product_id":"applying-automated-theorem-proving-to-computer-security-9781288254507","title":"Applying Automated Theorem Proving to Computer Security","description":"","brand":"BiblioScholar","offers":[{"title":"Default Title","offer_id":53186947547479,"sku":"9781288254507","price":18.52,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/applying-automated-theorem-proving-to-computer-security-9781288254507","provider":"Book Curl","version":"1.0","type":"link"}