{"product_id":"interactive-theorem-proving-and-program-development-3540208542","title":"Interactive Theorem Proving and Program Development","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3540208542\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Bertot, Yves\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eA practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":67874110538016,"sku":"NEW3540208542","price":92.94,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61tkeJKoIlL.jpg?v=1792431996","url":"https:\/\/miakarts.com\/products\/interactive-theorem-proving-and-program-development-3540208542","provider":"Miakarts Books","version":"1.0","type":"link"}