Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Wang, Chao, Hachtel, Gary D., Somenzi, Fabio

ISBN 10: 0470920513 ISBN 13: 9780470920510
Editorial: Springer
Condición: Usado - Aceptable

Vendido por Wonder Book, Frederick, MD, Estados Unidos de America

Miembro de asociación:

Honoris Librarius
Miembro de AbeBooks desde 1996

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado

Condición: Usado - Aceptable

Precio:
EUR 6,64
Gratis gastos de envío en Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito