SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Libros - Springer-Verlag New York Inc. - 9781441943415 - 19 de noviembre de 2010
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 Softcover reprint of hardcover 1st ed. 2007 edition

Precio
$ 114,99
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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de noviembre de 2010
ISBN13 9781441943415
Editores Springer-Verlag New York Inc.
Páginas 330
Dimensiones 155 × 235 × 18 mm   ·   503 g
Lengua Inglés  

Mere med samme udgiver

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