Gary T. Leavens
Showing all 2 results
-
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 (Lecture Notes ... Programming and Software Engineering) Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani](https://digzon.com/wp-content/uploads/2024/04/23302ac99318f621b597a5c7f484ac17-d.jpg)
![[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)