Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Lecture Notes in Computer Science - A J Hu - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540646082 - 3 de junio de 1998
En caso de que portada y título no coincidan, el título será el correcto

A J Hu
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Lecture Notes in Computer Science 1998 edition

Precio
Mex$ 1.839
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de A J Hu

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 consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. verification techniques like state-space exploration, model checking, synthesis, and automated deduction;

562 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de junio de 1998
ISBN13 9783540646082
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 552
Dimensiones 156 × 234 × 29 mm   ·   784 g
Lengua Alemán  
Editor Hu, Alan J.
Editor Vardi, Moshe Y.

Más del mismo editor

Ver todo de A J Hu ( Ej. Paperback Book )