{"product_id":"generating-test-templates-via-automated-theorem-proving-9781025158259","title":"Generating Test Templates via Automated Theorem Proving","description":"","brand":"Creative Media Partners, LLC","offers":[{"title":"Default Title","offer_id":53184856949079,"sku":"9781025158259","price":14.09,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/generating-test-templates-via-automated-theorem-proving-9781025158259","provider":"Book Curl","version":"1.0","type":"link"}