Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Libros - Springer-Verlag New York Inc. - 9780387341552 - 20 de julio de 2006
En caso de que portada y título no coincidan, el título será el correcto

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Precio
€ 108,49

Pedido desde almacén remoto

Entrega prevista 8 - 19 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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 summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de julio de 2006
ISBN13 9780387341552
Editores Springer-Verlag New York Inc.
Páginas 179
Dimensiones 155 × 235 × 12 mm   ·   467 g

Mas por Chao Wang

Mostrar todo

Ver todo de Chao Wang ( Ej. Hardcover Book y Paperback Book )