{"product_id":"interactive-theorem-proving-and-program-yves-bertot-9783540208549","title":"Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions","description":"\u003cp\u003eA practical introduction to the development of proofs and certified programs using Coq. \u003c\/p\u003e \u003cp\u003eAn invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Yves Bertot, Pierre Cast駻an\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540208542\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540208549\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/14\/2004\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 472\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.88lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.36h x 6.46w x 1.27d","brand":"Yves Bertot","offers":[{"title":"Hardcover","offer_id":44302360412415,"sku":"9783540208549","price":119.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_03a5a32c-dc4f-4cbe-b5d6-cdc4683544a7.jpg?v=1695161083","url":"https:\/\/www.whiterainbookhouse.com\/products\/interactive-theorem-proving-and-program-yves-bertot-9783540208549","provider":"WR Book House","version":"1.0","type":"link"}