Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Libros - Springer-Verlag New York Inc. - 9781489993953 - 6 de diciembre de 2014
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
€ 104,49

Pedido desde almacén remoto

Entrega prevista 8 - 16 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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de diciembre de 2014
ISBN13 9781489993953
Editores Springer-Verlag New York Inc.
Páginas 179
Dimensiones 155 × 235 × 11 mm   ·   281 g
Lengua Inglés  

Mas por Chao Wang

Mostrar todo

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