Envío express desde $5  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 automated deduction - cade-17 (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
519
ISBN
3540676643
ISBN13
9783540676645
Categorías

automated deduction - cade-17 (en Inglés)

Libro Nuevo Importado
Envío: 16 a 23 días háb.
$ 107.80$ 59.29
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 59.29
Llega entre el 30 Sep y el 14 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 "automated deduction - cade-17 (en Inglés)"

this book constitutes the refereed proceedings of the 17th international conference on automated deduction, cade-17, held in pittsburgh, pennsylvania, usa, in june 2000.the 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. also included are contributions corresponding to invited talks and tutorials. the accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

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