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

(eBook PDF) Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Name: (eBook PDF) Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
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) Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Related Products

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

ibuks

(eBook PDF) Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

$29.99

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

ibuks

(eBook PDF) Computational Science - ICCS 2001 1st Edition International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II

$29.99

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

ibuks

(eBook PDF) Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

$19.99

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

ibuks

(eBook PDF) Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L Aquila, Italy, July 22-24, 2015. Proceedings

$19.99