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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - 7 de julho de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 21 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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 Alemão  
Editor Meyer, Bertrand
Editor Woodcock, Jim

Mais por Bertrand Meyer

Mostrar tudo

Ver tudo de Bertrand Meyer ( por exemplo Paperback Book e Hardcover Book )