Free Shipping on Orders of $75 or more.

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

Regular price $89.08
Sale price $89.08 Regular price
Sale Sold out
Unit price
/per 
This is a pre order item. We will ship it when it comes in stock.
Lock Secure Transaction

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