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

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

Name: (eBook PDF) Computer Aided Verification 1st Edition 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, 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) Computer Aided Verification 1st Edition 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Related Products

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

ibuks

(eBook PDF) Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

$24.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/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/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtqmjwgaxtamrvgmBtgmjq.jpeg — Add to Cart The item has been added

ibuks

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

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

$19.99

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

ibuks

(eBook PDF) Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

$29.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