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

(eBook PDF) Formal Verification of Object-Oriented Software 1st Edition International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

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) Formal Verification of Object-Oriented Software 1st Edition International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Related Products

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

ibuks

(eBook PDF) Applied Parallel and Scientific Computing 1st Edition 10th International Conference, PARA 2010, Reykjav k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

$19.99

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

ibuks

(eBook PDF) Applied Parallel and Scientific Computing 1st Edition 10th International Conference, PARA 2010, Reykjav k, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

$19.99

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

ibuks

(eBook PDF) Graph-Theoretic Concepts in Computer Science 1st Edition 36th International Workshop, WG 2010, Zar s, Crete, Greece, June 28-30, 2010, Revised Papers

$19.99

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

ibuks

(eBook PDF) Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

$14.99

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

ibuks

(eBook PDF) Computer Vision -- ACCV 2010 Workshops ACCV 2010 International Workshops. Queenstown, New Zealand, November 8-9, 2010. Revised Selected Papers, Part II

$19.99

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

ibuks

(eBook PDF) Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Implementation and Application of Functional Languages 1st Edition 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

$24.99

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

ibuks

(eBook PDF) Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

$19.99