Thomas Ball
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues Thomas Ball 2006 edition

Name: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues
Price: 1851 MXN
Availability: OutOfStock
Author: Thomas Ball

Precio

Mex$ 1.851

sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Thomas Ball

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues

Thomas Ball

2006 edition

Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems

564 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	8 de agosto de 2006
ISBN13	9783540374060
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	564
Dimensiones	155 × 235 × 30 mm · 857 g
Lengua	Alemán
Editor	Ball, Thomas
Editor	Jones, Robert B.