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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - 11 de enero de 2011
En caso de que portada y título no coincidan, el título será el correcto

Ranjit Jhala
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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Ranjit Jhala

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 11 de enero de 2011
ISBN13 9783642182747
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 419
Dimensiones 155 × 235 × 23 mm   ·   657 g
Lengua Francés  
Editor Jhala, Ranjit
Editor Schmidt, David

Mas por Ranjit Jhala

Mostrar todo

Más del mismo editor

Ver todo de Ranjit Jhala ( Ej. Paperback Book )