Selecciona tu país

América

Europa

Resto del mundo

portada automated technology for verification and analysis (en Inglés)

automated technology for verification and analysis (en Inglés)

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

540

ISBN

3540472371

ISBN13

9783540472377

Categorías

Arquitectura y diseño lógico de ordenadores

automated technology for verification and analysis (en Inglés)

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 108.45$ 54.22

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 54.22

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "automated technology for verification and analysis (en Inglés)"

this book constitutes the refereed proceedings of the third international symposium on automated technology for verificaton and analysis, atva 2006, held in beijing, china in october 2006. the 35 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 137 submissions. the papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

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