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

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

Name: (eBook PDF) Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
Brand: ibuks
Price: 24.99 USD
Availability: InStock

ibuks

$24.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) Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Related Products

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

ibuks

(eBook PDF) Decision and Game Theory for Security 1st Edition Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedings

$24.99

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

ibuks

(eBook PDF) Concise Guide to Software Verification From Model Checking to Annotation Checking

$29.99

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

ibuks

(eBook PDF) Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/1677037816761c2eed34.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Modern Approaches in Applied Intelligence: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part I

$19.99

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

ibuks

(eBook PDF) Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

$19.99

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

ibuks

(eBook PDF) Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

$19.99

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

ibuks

(eBook PDF) Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

$19.99