
Conte aos seus amigos sobre este item:
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
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
A Step Towards Verified Software Worries about the reliability of software are as old as software itself;
574 pages, 1, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 7 de julho de 2008 |
ISBN13 | 9783540691471 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 546 |
Dimensões | 155 × 235 × 29 mm · 839 g |
Idioma | German |
Editor | Meyer, Bertrand |
Editor | Woodcock, Jim |
Mostrar tudo
Mais por Bertrand Meyer
Ver tudo de Bertrand Meyer ( por exemplo Paperback Book , Hardcover Book e Book )