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 By Gary T. Leavens (Editor), Peter O'Hearn (Editor), Sriram K. Rajamani (Editor) Cover Image

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

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

$89.99


Not On Our Shelves—Ships in 1-5 Days
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
Product Details ISBN: 9783642150562
ISBN-10: 364215056X
Publisher: Springer
Publication Date: August 5th, 2010
Pages: 217
Language: English
Series: Lecture Notes in Computer Science