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
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

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.

Mere med samme udgiver

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