Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - 13 de enero de 2005
En caso de que portada y título no coincidan, el título será el correcto

Radhia Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 31 de dic. - 8 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

483 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de enero de 2005
ISBN13 9783540242970
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 483
Dimensiones 155 × 235 × 25 mm   ·   693 g
Lengua Alemán  
Editor Cousot, Radhia

Mas por Radhia Cousot

Mostrar todo

Ver todo de Radhia Cousot ( Ej. Paperback Book )