Name: formal methods for hardware verification (en Inglés)
SKU: 3424853
Price: 65620.00 CLP
Availability: InStock
ISBN: 9783540343042

Selecciona tu país

América

Europa

Resto del mundo

portada formal methods for hardware verification (en Inglés)

formal methods for hardware verification (en Inglés)

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

243

ISBN

3540343040

ISBN13

9783540343042

Categorías

Arquitectura y diseño lógico de ordenadores

formal methods for hardware verification (en Inglés)

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 109.360$ 65.620

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 65.620

Llega entre el 09 Oct y el 19 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal methods for hardware verification (en Inglés)"

this book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the international school on formal methods for the design of computer, communication and software systems, sfm 2006, held in bertinoro, italy in may 2006. sfm 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, bdd-based and sat-based model checking, decision procedures, refinement, theorem proving, and the verification of floating point units.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes