この商品を友人に教える:
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers - Lecture Notes in Computer Science Bertrand Meyer
価格
¥ 8.881
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2007年8月9日 |
| ISBN13 | 9783540737698 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 217 |
| 寸法 | 155 × 235 × 12 mm · 331 g |
| 言語 | ドイツ語 |
| 編集者 | Gurevich, Yuri |
| 編集者 | Meyer, Bertrand |
![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)
