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

(eBook PDF) Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, 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) Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Related Products

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

ibuks

(eBook PDF) Computer Vision - ACCV 2014 Workshops Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part III

$19.99

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

ibuks

(eBook PDF) Computer Vision - ACCV 2014 Workshops Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part II

$19.99

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

ibuks

(eBook PDF) Computer Vision - ACCV 2014 Workshops Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I

$19.99

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

ibuks

(eBook PDF) Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

$14.99

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

ibuks

(eBook PDF) Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/collect/16153633990f4fc7793f.jpeg — Add to Cart The item has been added

Sagaform

(eBook PDF) Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

$19.99

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

ibuks

(eBook PDF) Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

$14.99