Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation Valeria Bertacco Softcover reprint of hardcover 1st ed. 2006 edition

Name: Scalable Hardware Verification with Symbolic Simulation
Price: 107.49 USD
Availability: OutOfStock
Author: Valeria Bertacco

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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

También disponible como:

Hardcover Book

2006 edition

(2005) $ 122,49

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco

Softcover reprint of hardcover 1st ed. 2006 edition

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

180 pages, 40 black & white illustrations, 13 black & white tables, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	29 de octubre de 2010
ISBN13	9781441937391
Editores	Springer-Verlag New York Inc.
Páginas	180
Dimensiones	155 × 235 × 10 mm · 276 g
Lengua	Inglés