Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science - L D Zuck - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 13 de diciembre de 2002
En caso de que portada y título no coincidan, el título será el correcto

L D Zuck
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Precio
Mex$ 964
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 20 de ago.
Recibe notificaciones sobre nuevos lanzamientos de L D Zuck

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 volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.

340 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de diciembre de 2002
ISBN13 9783540003489
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 328
Dimensiones 155 × 233 × 18 mm   ·   798 g
Lengua Alemán  
Editor Attie, Paul D.
Editor Cortesi, Agostino
Editor Mukhopadhyay, Supratik
Editor Zuck, Lenore D.

Más del mismo editor

Ver todo de L D Zuck ( Ej. Paperback Book )