Tell your friends about this item:
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers - Lecture Notes in Computer Science Bertrand Meyer
Price
€ 50.49
Ordered from remote warehouse
Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers - Lecture Notes in Computer Science
Bertrand Meyer
Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007.
234 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 9, 2007 |
| ISBN13 | 9783540737698 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 217 |
| Dimensions | 155 × 235 × 12 mm · 331 g |
| Language | German |
| Editor | Gurevich, Yuri |
| Editor | Meyer, Bertrand |
More by Bertrand Meyer
Show all![Cover for Bertrand Meyer · The French School of Programming (Hardcover Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/173/9783031345173.jpg?bertrand-meyer-2024-the-french-school-of-programming-hardcover-book&class=scaled&v=1694501236)
![Cover for Bertrand Meyer · Handbook of Requirements and Business Analysis (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/389/9783031067389.jpg?bertrand-meyer-2022-handbook-of-requirements-and-business-analysis-paperback-book&class=scaled&v=1656949857)
![Cover for Bertrand Meyer · Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/459/9783642357459.jpg?bertrand-meyer-2012-tools-for-practical-software-verification-international-summer-school-laser-2011-elba-island-italy-revised-tutorial-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1542664627)
![Cover for 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 (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/471/9783540691471.jpg?bertrand-meyer-2008-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-paperback-book&class=scaled&v=1542685836)
See all of Bertrand Meyer ( e.g. Paperback Book and Hardcover Book )