Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science - L D Zuck - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 13 de dezembro de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

L D Zuck

Preço
NZD 117,13

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 6 - 17 de jun

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

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.

340 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de dezembro de 2002
ISBN13 9783540003489
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 328
Dimensões 155 × 233 × 18 mm   ·   798 g
Idioma German  
Editor Attie, Paul D.
Editor Cortesi, Agostino
Editor Mukhopadhyay, Supratik
Editor Zuck, Lenore D.

Ver tudo de L D Zuck ( por exemplo Paperback Book )