The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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)

  • New

    Paperback 2008

    $63.47
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.47

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