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

(eBook PDF) Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

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) Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Related Products

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

ibuks

(eBook PDF) Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

$19.99

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

ibuks

(eBook PDF) Runtime Verification 1st Edition 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6 9, 2020, Proceedings

$19.99

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

ibuks

(eBook PDF) Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10 13, 2018, Proceedings

$24.99

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

ibuks

(eBook PDF) The Semantic Web ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8 12, 2018, Proceedings, Part I

$19.99

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

ibuks

(eBook PDF) Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings

$19.99

https://covers.vitalbook.com/vbid/9780812993998/width/200 — Add to Cart The item has been added

Sagaform

Dear Los Angeles The City in Diaries and Letters, 1542 to 2018

$11.99

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

ibuks

(eBook PDF) Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10 12, 2018, Proceedings

$19.99

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

ibuks

(eBook PDF) Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24 26, 2018, Proceedings

$19.99

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

ibuks

(eBook PDF) Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26 28, 2018, Proceedings

$19.99