Introduction to Formal Hardware Verification - Thomas Kropf - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 16 de octubre de 1999
En caso de que portada y título no coincidan, el título será el correcto

Thomas Kropf
Introduction to Formal Hardware Verification

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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:

Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.

308 pages, 110 black & white illustrations, 32 black & white tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 16 de octubre de 1999
ISBN13 9783540654452
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 308
Dimensiones 156 × 234 × 19 mm   ·   517 g
Lengua Alemán  

Mas por Thomas Kropf

Mostrar todo

Mere med samme udgiver

Ver todo de Thomas Kropf ( Ej. Hardcover Book y Paperback Book )