¡Locura por los Importados con hasta 50% OFF en libros del mundo!  Ver más

Enviar a
Santiago, Región Metropolitana
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 formal methods in computer-aided design (en Inglés)
formal methods in computer-aided design (en Inglés)formal methods in computer-aided design (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
539
ISBN
3540412190
ISBN13
9783540412199
Categorías

formal methods in computer-aided design (en Inglés)

Libro Nuevo Importado
Envío: 12 a 17 días háb.
$ 197.190$ 98.600
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 98.600
Llega entre el 11 Ago y el 18 Ago a Santiago, Región Metropolitana. 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 "formal methods in computer-aided design (en Inglés)"

this book constitutes the refereed proceedings of the third international conference on formal methods in computer-aided design, fmcad 2000, held in austin, texas in november 2000.the 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. all current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

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