Venta Flash Hasta 60%  Ver más

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

Selecciona tu país

América

Europa

Resto del mundo

Idioma
esEspañolActual
enEnglish
portada verification, model checking, and abstract interpretation (en Inglés)
verification, model checking, and abstract interpretation (en Inglés)verification, model checking, and abstract interpretation (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
325
ISBN
3540781625
ISBN13
9783540781622

verification, model checking, and abstract interpretation (en Inglés)

Más barato Libro Nuevo Origen: Estados Unidos
Envío: 9 a 11 días háb.
$ 54.99$ 46.74
-15%
Más rápido Libro Nuevo Origen: Estados Unidos
Envío: 8 a 10 días háb.
$ 61.86$ 58.22
-6%
Libro Nuevo Más barato

Quedan más de 100 unidades

$ 46.74
Llega entre el 02 Oct y el 08 Oct a FL. Seleccionar ubicación

Reseña del libro "verification, model checking, and abstract interpretation (en Inglés)"

the book constitutes the refereed proceedings of the 9th international conference on verification, model checking, and abstract interpretation, vmcai 2007, held in san francisco, usa, in january 2008. the 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. the papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
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