Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback
$89.08
Sale price
$89.08
Regular price
Skip to product information
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback
$89.08
Sale price
$89.08
Regular price
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