Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science - Bertrand Meyer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - July 7, 2008
In case cover and title do not match, the title is correct

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

Bertrand Meyer

Price
€ 113.49

Ordered from remote warehouse

Expected delivery May 26 - Jun 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

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

574 pages, 1, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 7, 2008
ISBN13 9783540691471
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 546
Dimensions 155 × 235 × 29 mm   ·   839 g
Language German  
Editor Meyer, Bertrand
Editor Woodcock, Jim
Show all

More by Bertrand Meyer

See all of Bertrand Meyer ( e.g. Paperback Book and Book )