Envío express con hasta 60% OFF  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

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
504
ISBN
3540569227
ISBN13
9783540569220
Categorías

computer aided verification (en Inglés)

Libro Nuevo Importado
Envío: 18 a 25 días háb.
$ 107.37$ 59.05
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 59.05
Llega entre el 16 Oct y el 29 Oct a Quito, Pichincha. 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 fifth conference on computer-aided verfication, held in crete, greece, in june/july 1993. the objective of the cav conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. the conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. emphasis is placed on new research results and the application of existing methods to real verification problems. the volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.the contributions are grouped into sections on hardware verification with bdds, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry.

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