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 Roberto Giacobazzi 2013 edition

Name: Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science
Price: 956 MXN
Availability: OutOfStock
Author: Roberto Giacobazzi

Precio

Mex$ 956

sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 18 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Roberto Giacobazzi

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

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

2013 edition

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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	7 de enero de 2013
ISBN13	9783642358722
Editores	Springer-Verlag Berlin and Heidelberg Gm
Género	Aspects (Academic) > Science / Technology Aspects
Páginas	556
Dimensiones	155 × 235 × 29 mm · 789 g
Lengua	Alemán
Editor	Berdine, Josh
Editor	Giacobazzi, Roberto
Editor	Mastroeni, Isabella