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: 107.49 USD
Availability: OutOfStock
Author: Thomas Ball

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

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.