Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Lecture Notes in Computer Science - David L Dill - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540581796 - 1 de junio de 1994
En caso de que portada y título no coincidan, el título será el correcto

David L Dill
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings - Lecture Notes in Computer Science 1994 edition

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

in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

486 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de junio de 1994
ISBN13 9783540581796
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 486
Dimensiones 155 × 235 × 25 mm   ·   689 g
Lengua Alemán  
Editor Dill, David L.

Mere med samme udgiver

Ver todo de David L Dill ( Ej. Paperback Book )