{"product_id":"interactive-theorem-proving-and-program-development-9783540208549","title":"Interactive Theorem Proving and Program Development","description":"\u003cdiv class=\"book-description\"\u003e\u003cp\u003e\u003cstrong\u003eInteractive Theorem Proving and Program Development\u003c\/strong\u003e by Bertot, Yves. Hardcover edition. ISBN: 9783540208549.\u003c\/p\u003e\u003c\/div\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44430769881141,"sku":"ByrdShop_3540208542","price":106.61,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9783540208549_a7c36d2d-13f1-4b8d-aa00-b6b09b5e1c9a.jpg?v=1774501510","url":"https:\/\/atxbooks.com\/products\/interactive-theorem-proving-and-program-development-9783540208549","provider":"ATX Books","version":"1.0","type":"link"}