Name: computer aided verification (en Inglés)
SKU: 3427633
Price: 952.07 MXN
Availability: InStock
ISBN: 9783540662020

Selecciona tu país

América

Europa

Resto del mundo

portada computer aided verification (en Inglés)

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

506

ISBN

3540662022

ISBN13

9783540662020

Categorías

Arquitectura y diseño lógico de ordenadores

computer aided verification (en Inglés)

Libro Nuevo Importado

Envío: 15 a 20 días háb.

$ 1,904.14$ 952.07

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 952.07

¡Envío Gratis! Llega entre el 09 Oct y el 19 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "computer aided verification (en Inglés)"

this book constitutes the refereed proceedings of the 11th international conference on computer aided verification, cav99, held in trento, italy in july 1999 as part of floc99.the 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. also included are six invited contributions and five tool presentations. the book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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