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

Bertrand Meyer
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

Price
€ 96.99

Ordered from remote warehouse

Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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

More by Bertrand Meyer

Show all

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