Neil D Jones
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues Neil D Jones 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues
Price: 1150 MXN
Availability: OutOfStock
Author: Neil D Jones

Precio

Mex$ 1.150

sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Neil D Jones

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: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues

Neil D Jones

2008 edition

Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation.

396 pages, 1, black & white illustrations

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	18 de diciembre de 2008
ISBN13	9783540938996
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	381
Dimensiones	155 × 235 × 20 mm · 589 g
Lengua	Francés
Editor	Jones, Neil
Editor	Muller-Olm, Markus