Springer
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Product Code:
9783642150562
ISBN13:
9783642150562
Condition:
New
$61.47
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
$61.47
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
| Author: Gary T. Leavens |
| Publisher: Springer |
| Publication Date: Aug 05, 2010 |
| Number of Pages: 217 pages |
| Binding: Paperback or Softback |
| ISBN-10: 364215056X |
| ISBN-13: 9783642150562 |
Related Products
