Billing details

Additional information

Your order

Product Subtotal
[PDF] Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O?Hearn, Sriram K. Rajamani (eds.)  × 1 $19.99
Subtotal $19.99
Total $19.99