Your Waterstones card is changing, introducing...
TELL ME MORE
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science 5295 (Paperback)
  • Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science 5295 (Paperback)
zoom

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science 5295 (Paperback)

(editor), (editor)
£53.99
Paperback 263 Pages / Published: 22/09/2008
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540878728
Number of pages: 263
Weight: 427 g
Dimensions: 235 x 155 x 15 mm
Edition: 2008 ed.

You may also be interested in...

Refactoring
Added to basket
£47.99
Hardback
The Agile Samurai
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Test Driven Development
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
The Clean Coder
Added to basket
£32.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Peopleware
Added to basket
£32.99
Paperback
Continuous Delivery
Added to basket
£43.99
Hardback
Writing Effective Use Cases
Added to basket
Coaching Agile Teams
Added to basket
Kanban
Added to basket
£33.55
Paperback
Pro Git
Added to basket
£35.50
Paperback
The Art of Unit Testing
Added to basket
Implementing Domain-Driven Design
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.