Francesco Logozzo
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues Francesco Logozzo 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues
Price: 958 MXN
Availability: OutOfStock
Author: Francesco Logozzo

Precio

Mex$ 958

sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Francesco Logozzo

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: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues

Francesco Logozzo

2008 edition

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

325 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	26 de febrero de 2008
ISBN13	9783540781622
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	325
Dimensiones	155 × 235 × 18 mm · 480 g
Lengua	Francés
Editor	Logozzo, Francesco
Editor	Peled, Doron A.
Editor	Zuck, Leonore D.