{"product_id":"9781680835946","title":"QED at Large : A Survey of Engineering of Formally Verified Software by Ilya Sergey","description":"\u003cbr\u003eBinding: Paperback \/ softback","brand":"Gardners","offers":[{"title":"Default Title","offer_id":56303690350965,"sku":"9781680835946","price":93.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9781680835946.jpg?v=1762794744","url":"https:\/\/backstory.london\/products\/9781680835946","provider":"Backstory","version":"1.0","type":"link"}