Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science - Tevfik Bultan - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642243714 - 21 de setembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science

Tevfik Bultan

Preço
£ 51,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 23 de out - 3 de nov

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

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.

548 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de setembro de 2011
ISBN13 9783642243714
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 532
Dimensões 155 × 235 × 30 mm   ·   771 g
Idioma French  
Editor Bultan, Tevfik
Editor Hsiung, Pao-Ann
Mostrar tudo

Mais por Tevfik Bultan

Ver tudo de Tevfik Bultan ( por exemplo Paperback Book e Hardcover Book )