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

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
Mex$ 1.142
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de ago. - 4 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Radhia Cousot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor