{"product_id":"certified-programming-with-dependent-types-9780262545747","title":"Certified Programming with Dependent Types","description":"","brand":"MIT Press Ltd","offers":[{"title":"Default Title","offer_id":52195167732055,"sku":"9780262545747","price":56.3,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780262545747.jpg?v=1763646610","url":"https:\/\/bookcurl.com\/products\/certified-programming-with-dependent-types-9780262545747","provider":"Book Curl","version":"1.0","type":"link"}