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

(eBook PDF) Integrated Formal Methods 1st Edition 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Name: (eBook PDF) Integrated Formal Methods 1st Edition 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. 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) Integrated Formal Methods 1st Edition 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Related Products

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

ibuks

(eBook PDF) Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

$29.99

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

ibuks

(eBook PDF) Formal Methods and Software Engineering 1st Edition 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Formal Techniques for Distributed Systems 1st Edition Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Theory and Applications of Satisfiability Testing -- SAT 2012 1st Edition 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Graph Transformation 1st Edition 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Logical Aspects of Computational Linguistics 1st Edition 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Static Analysis 1st Edition 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

$19.99

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

ibuks

(eBook PDF) FM 2011: Formal Methods 1st Edition 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

$19.99