SKU/Artículo: AMZ-3540634754

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

Format:

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.70 kg
Devolución:
No
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
U$S 96,41
44% OFF
U$S 53,56

IMPORTÁ FACIL

Comprando este producto podrás descontar el IVA con tu número de RUT

NO CONSUME FRANQUICIA

Si tu carrito tiene solo libros o CD’s, no consume franquicia y podés comprar hasta U$S 1000 al año.

U$S 96,41
44% OFF
U$S 53,56

¡Comprá en hasta 12 cuotas sin interés con todas tus tarjetas!

Llega en 15 a 25 días hábiles
con envío
Tienes garantía de entrega