https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtmmbxgextamrvgmAtenjr.jpeg

(eBook PDF) Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Name: (eBook PDF) Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

ibuks

$19.99

(No reviews yet) Write a Review

SKU:
UPC:
Condition:: New

Current Stock:

Quantity:

Adding to cart… The item has been added

Description

(eBook PDF) Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Related Products

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsnjwgixtamrvgiCdsmzy.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgobtgextamrvgmztcmbr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtkmrvgqxtamrvgmAdiojq.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcmzugixtamrvgmxdmnzx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtmnrxgxxtamrvgmAtqnjt.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsobqgixtamrvgiCtcnjz.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsmrvgaxtamrvgiCdmmrq.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

$14.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinrxheBtomjsgmCdqnjqgexdambqgaxdiobxgaxtsmjuhaxtamjrgqBdmobt.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Serious Games Development and Applications 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtoobrgqxtamrvgmBdsnrs.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

$19.99