Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Interactive Theorem Proving
Cargando comentarios…
Comparte
$1,084
$976
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
3035791Interactive Theorem Provinghttps://www.gandhi.com.mx/interactive-theorem-proving-9783319221021/phttps://gandhi.vtexassets.com/arquivos/ids/2288096/3aadcb8c-f3a4-4258-8f2a-943af87b3934.jpg?v=6383837700416000009761084MXNSpringer International PublishingInStock/Ebooks/<p>This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.</p>...2972156Interactive Theorem Proving9761084https://www.gandhi.com.mx/interactive-theorem-proving-9783319221021/phttps://gandhi.vtexassets.com/arquivos/ids/2288096/3aadcb8c-f3a4-4258-8f2a-943af87b3934.jpg?v=638383770041600000InStockMXN99999DIEbook20159783319221021_W3siaWQiOiI5ZWQ4MjllOC1mODc5LTQ4M2ItOWU2ZC05MWJlNWQ0NzZhYWEiLCJsaXN0UHJpY2UiOjEwODQsImRpc2NvdW50IjoxMDgsInNlbGxpbmdQcmljZSI6OTc2LCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wOC0yOFQyMDowMDowMFoiLCJ0byI6IjIwMjUtMDktMzBUMjM6NTk6NTlaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX0seyJpZCI6IjEzN2EyNGY3LTA3MDMtNGQxMC1hMjYxLWEyN2FjMWQ1YWY0ZiIsImxpc3RQcmljZSI6MTA4MiwiZGlzY291bnQiOjEwOCwic2VsbGluZ1ByaWNlIjo5NzQsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTEwLTAxVDAwOjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9783319221021_<p>This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.</p>(*_*)9783319221021_<p>This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.</p>...9783319221021_Springer International Publishinglibro_electonico_0e277b47-cdc3-3de1-8db8-c53a92a104ac_9783319221021;9783319221021_9783319221021InglésMéxico2015-08-18T00:00:00+00:00Springer International Publishing