Skip to main content alibris logo

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by ,

Write The First Customer Review
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Shankar, Natarajan (Editor), and Woodcock, Jim (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

loading
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings 2008, Springer, Berlin, Heidelberg

ISBN-13: 9783540878728

2008 edition

Trade paperback