Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7 de enero de 2004
En caso de que portada y título no coincidan, el título será el correcto

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 1.149
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Bernhard Steffen

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 book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de enero de 2004
ISBN13 9783540208037
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 325
Dimensiones 156 × 234 × 18 mm   ·   480 g
Lengua Alemán  

Mas por Bernhard Steffen

Mostrar todo

Más del mismo editor

Ver todo de Bernhard Steffen ( Ej. Paperback Book y Hardcover Book )