Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Libros - Springer-Verlag New York Inc. - 9780387244112 - 21 de diciembre de 2005
En caso de que portada y título no coincidan, el título será el correcto

Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation 2006 edition

Precio
$ 122,49
sin IVA

Pedido desde almacén remoto

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

También disponible como:

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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 21 de diciembre de 2005
ISBN13 9780387244112
Editores Springer-Verlag New York Inc.
Páginas 180
Dimensiones 155 × 235 × 12 mm   ·   458 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Valeria Bertacco ( Ej. Paperback Book y Hardcover Book )