CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Programming and Software Engineering

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Editors: Leavens, Gary T., O'Hearn, Peter, Rajamani, Sriram K (Eds.)

Free Preview
  • Fast track conference proceeding
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-642-15057-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD

Table of contents (14 chapters)

Table of contents (14 chapters)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-642-15057-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verified Software: Theories, Tools, Experiments
Book Subtitle
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Editors
  • Gary T. Leavens
  • Peter O'Hearn
  • Sriram K Rajamani
Series Title
Programming and Software Engineering
Series Volume
6217
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-15057-9
DOI
10.1007/978-3-642-15057-9
Softcover ISBN
978-3-642-15056-2
Edition Number
1
Number of Pages
X, 217
Number of Illustrations
68 b/w illustrations
Topics