• Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
1 1

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback

$106.90 USD
$106.90 USD
Sale Sold out
Shipping calculated at checkout.

Shipping: $8.00 or FREE when you spend $100+

by Gary T. Leavens (Editor), Peter O'Hearn (Editor), Sriram K. Rajamani (Editor)

Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.

Number of Pages: 217
Dimensions: 0.5 x 9.1 x 6.1 IN
Illustrated: Yes
Publication Date: August 05, 2010
View full details