Sriram K. Rajamani (eds.)
Showing the single result
-
Engineering
[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.)
$19.99 Order now
![[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.)](https://digzon.com/wp-content/uploads/2024/04/9263917aec3134c624ad5ce8f32f3bd4-d.jpg)