{"product_id":"9780262545747","title":"Certified Programming with Dependent Types","description":"","brand":"Adam Chlipala","offers":[{"title":"Default Title","offer_id":45750693101886,"sku":"9780262545747","price":1739.0,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9780262545747_83a59609-1bfc-4fe1-8321-15dd6c5561e7.jpg?v=1707237880","url":"https:\/\/exclusivebooks.co.za\/products\/9780262545747","provider":"Exclusive Books Online","version":"1.0","type":"link"}