Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems - Lun Li - Libros - Springer International Publishing AG - 9783031798146 - 18 de febrero de 2010
En caso de que portada y título no coincidan, el título será el correcto

Lun Li
Digital System Verification: A Combined Formal Methods and Simulation Framework - Synthesis Lectures on Digital Circuits & Systems

Precio
€ 28,99

Pedido desde almacén remoto

Entrega prevista 14 - 22 de ene. de 2026

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

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de febrero de 2010
ISBN13 9783031798146
Editores Springer International Publishing AG
Páginas 79
Dimensiones 150 × 220 × 10 mm   ·   197 g
Lengua Inglés  

Ver todo de Lun Li ( Ej. Paperback Book )