Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science - Roberto Giacobazzi - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642358722 - 7 de janeiro de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Roberto Giacobazzi
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de out
Receba avisos sobre novos lançamentos de Roberto Giacobazzi

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

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

556 pages, 123 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 7 de janeiro de 2013
ISBN13 9783642358722
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 556
Dimensões 155 × 235 × 29 mm   ·   789 g
Idioma Alemão  
Editor Berdine, Josh
Editor Giacobazzi, Roberto
Editor Mastroeni, Isabella

Mais por Roberto Giacobazzi

Mostrar tudo

Mais da mesma editora

Ver tudo de Roberto Giacobazzi