{"product_id":"interactive-theorem-proving-springer-international-publishing-ag-9783319221014-6th-international-conference-itp-2015-nanjing-china-august-24-27-2015-proceedings-christian-urban","title":"Interactive Theorem Proving","description":"\u003cp\u003eExplore the groundbreaking insights in \u003cstrong\u003eInteractive Theorem Proving\u003c\/strong\u003e, authored by \u003cstrong\u003eChristian Urban\u003c\/strong\u003e and published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This comprehensive volume, spanning \u003cstrong\u003e469 pages\u003c\/strong\u003e, presents the proceedings of the prestigious 6th International Conference on Interactive Theorem Proving, held in Nanjing, China. Delve into a rich array of topics that encompass both theoretical foundations and practical implementations, focusing on areas such as program verification, security, and the formalization of mathematics. This first edition is an essential resource for researchers and practitioners alike, offering valuable insights into the evolving field of interactive theorem proving. Enhance your understanding and stay at the forefront of mathematical verification with this essential text.\u003c\/p\u003e","brand":"Christian Urban","offers":[{"title":"Default Title","offer_id":52238539948374,"sku":"9783319221014","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319221014.jpg?v=1767760462","url":"https:\/\/www.englishbook.fi\/products\/interactive-theorem-proving-springer-international-publishing-ag-9783319221014-6th-international-conference-itp-2015-nanjing-china-august-24-27-2015-proceedings-christian-urban","provider":"Bookshop","version":"1.0","type":"link"}