Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science - Ranjit Jhala - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - 11 de janeiro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

Ranjit Jhala

Faça login para receber uma notificação quando o produto estiver disponível novamente

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: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

430 pages, 79 black & white illustrations, 11 colour illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 11 de janeiro de 2011
ISBN13 9783642182747
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 419
Dimensões 155 × 235 × 23 mm   ·   657 g
Idioma French  
Editor Jhala, Ranjit
Editor Schmidt, David
Mostrar tudo

Mais por Ranjit Jhala

Ver tudo de Ranjit Jhala ( por exemplo Paperback Book )