Hasta 40% off y Envío a todo USA y PR por solo $2.99  Ver más

Enviar a
FL
0

Mi Cuenta

es
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

Idioma
esEspañolActual
enEnglish
portada computer aided verification (en Inglés)
computer aided verification (en Inglés)computer aided verification (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
487
ISBN
3540551794
ISBN13
9783540551799
Categorías

computer aided verification (en Inglés)

Libro Nuevo Origen: Estados Unidos
Envío: 7 a 9 días háb.
$ 54.99$ 46.74
-15%
Libro Nuevo

Quedan más de 100 unidades

$ 46.74
Llega entre el 29 Sep y el 05 Oct a FL. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

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

this volume contains the proceedings of the third international workshop on computer aided verification, cav 91, held in aalborg, denmark, july 1-4, 1991. the objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. the workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. the emphasis is not only on new research results but also on the application of existing results to real verification problems. the papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.

Opiniones del libro

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