Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

By Gary T. Leavens

Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume. This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 364215056X
• ISBN13: 9783642150562
• Release Date: August 2010
• Publisher: Springer
• Length: 217 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.5" x 6.1" x 9.1"