Books by Peter O'Hearn
No products found matching the selection.
-20%
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier