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

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

by JimWoodcock (Editor), NatarajanShankar (Editor)

Synopsis

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.

$63.70

Quantity

10 in stock

More Information

Format: Paperback
Pages: 263
Edition: illustrated edition
Publisher: Springer
Published: 22 Sep 2008

ISBN 10: 3540878726
ISBN 13: 9783540878728