Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - 13 de janeiro de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Radhia Cousot

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 17 de out
Adicione à sua lista de desejos do iMusic

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

483 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de janeiro de 2005
ISBN13 9783540242970
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 483
Dimensões 155 × 235 × 25 mm   ·   693 g
Idioma German  
Editor Cousot, Radhia

Mostrar tudo

Mais por Radhia Cousot