SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Libros - Springer-Verlag New York Inc. - 9780387691664 - 22 de mayo de 2007
En caso de que portada y título no coincidan, el título será el correcto

Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition

Precio
$ 155,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 1 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 provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

330 pages, 118 black & white illustrations, 33 black & white tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 22 de mayo de 2007
ISBN13 9780387691664
Editores Springer-Verlag New York Inc.
Páginas 330
Dimensiones 155 × 235 × 20 mm   ·   703 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Malay Ganai ( Ej. Hardcover Book y Paperback Book )