Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)

by JimWoodcock (Editor), Bertrand Meyer (Editor)

Synopsis

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

$115.24

Quantity

10 in stock

More Information

Format: Paperback
Pages: 546
Publisher: Springer
Published: 07 Jul 2008

ISBN 10: 3540691472
ISBN 13: 9783540691471