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

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

Preço
SEK 1.069

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 16 de out
Adicione à sua lista de desejos do 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 2008 edition

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