この商品を友人に教える:
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 2008 edition
価格
¥ 16.835
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
A Step Towards Verified Software Worries about the reliability of software are as old as software itself;
574 pages, 1, black & white illustrations
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2008年7月7日 |
| ISBN13 | 9783540691471 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 546 |
| 寸法 | 155 × 235 × 29 mm · 839 g |
| 言語 | ドイツ語 |
| 編集者 | Meyer, Bertrand |
| 編集者 | Woodcock, Jim |
![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)
