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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

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

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.

Mere med samme udgiver

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