{"product_id":"interactive-theorem-proving-and-program-development-book-yves-bertot-9783540208549","title":"Interactive Theorem Proving and Program Development","description":"Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.  This book provides a pragmatic introduction to the development of proofs and certified programs using Coq.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51326075830545,"sku":"","price":0.0,"currency_code":"AUD","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51326078189841,"sku":"CIN3540208542VG","price":0.0,"currency_code":"AUD","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52151769923857,"sku":"NLS9783540208549","price":245.99,"currency_code":"AUD","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53154682011921,"sku":"GOR014783769","price":26.99,"currency_code":"AUD","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53155885416721,"sku":"GOR007601168","price":26.49,"currency_code":"AUD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540208542.jpg?v=1751064957","url":"https:\/\/www.worldofbooks.com\/en-au\/products\/interactive-theorem-proving-and-program-development-book-yves-bertot-9783540208549","provider":"World of Books ","version":"1.0","type":"link"}