Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Name: Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Rajeev Joshi

0 - Default Title

Product details

Binding:: Paperback
Number of Pages:: 340
Release Date:: 2012-02-28
Publication Date:: 2012-02-28
Publisher:: Springer
Languages:: Published: English
ISBN10:: 3642277063
Weight:: 479 g

Buy on Amazon

Currently sold out