Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science - Madhusudan Parthasarathy - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642314230 - 27 de junho de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Madhusudan Parthasarathy
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science 2012 edition

Preço
R$ 294,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Madhusudan Parthasarathy

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

Ainda não avaliado

808 pages, 192 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de junho de 2012
ISBN13 9783642314230
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 789
Dimensões 155 × 235 × 40 mm   ·   1,11 kg
Idioma Francês  
Editor Parthasarathy, Madhusudan
Editor Seshia, Sanjit A.

Mais da mesma editora

Ver tudo de Madhusudan Parthasarathy