Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Lecture Notes in Computer Science - Edmund M Clarke - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540544777 - 2 de octubre de 1991
En caso de que portada y título no coincidan, el título será el correcto

Edmund M Clarke
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Lecture Notes in Computer Science 1991 edition

Precio
Mex$ 1.148
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 de ago. - 1 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Edmund M Clarke

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 second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990.

392 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de octubre de 1991
ISBN13 9783540544777
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 378
Dimensiones 155 × 235 × 20 mm   ·   548 g
Lengua Alemán  
Editor Clarke, Edmund M., Jr.
Editor Kurshan, Robert P.

Más del mismo editor

Ver todo de Edmund M Clarke ( Ej. Paperback Book )