Skip to content

Verified Software: Theories, Tools, Experiments: Second International
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering) Paperback - 2008

by Shankar, Natarajan [Editor]; Woodcock, Jim [Editor];

  • Used
  • very good
  • Paperback

Description

Springer, 2008-11-07. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Used - Very Good
NZ$60.44
NZ$10.00 Shipping to USA
Standard delivery: 6 to 10 days
More Shipping Options
Ships from GuthrieBooks (Texas, United States)

Details

About GuthrieBooks Texas, United States

Biblio member since 2007
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Selling books since 1975.. We specialize in academic monographs and technical works but we have books in every area of interest.

Terms of Sale:

Credit cards accepted through Biblio.com. Returns accepted and promptly refunded if dissatisfied in any way.

Browse books from GuthrieBooks

From the publisher

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

From the rear cover

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.