Computer Aided Verification: 9th International Conference, Cav '97, Haifa, Israel, June 22-25 1997: Proceedings - Lecture Notes in Computer Science - O Grumberg - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540631668 - 4 de junio de 1997
En caso de que portada y título no coincidan, el título será el correcto

O Grumberg
Computer Aided Verification: 9th International Conference, Cav '97, Haifa, Israel, June 22-25 1997: Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
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

Constituting the proceedings of the 9th International Conference on Computer Aided Verification held in 1997, this volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools.

492 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de junio de 1997
ISBN13 9783540631668
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 492
Dimensiones 156 × 234 × 25 mm   ·   698 g
Lengua Alemán  
Editor Grumberg, Orna

Mere med samme udgiver

Ver todo de O Grumberg ( Ej. Paperback Book )