CÓDIGO CHILELEE18 con 18% EXTRA (Por pocas horas y hasta agotar stock de usos)  Ver más

Enviar a
Santiago, Región Metropolitana
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada algebraic methodology and software technology (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
531
ISBN
3540654623
ISBN13
9783540654629

algebraic methodology and software technology (en Inglés)

Libro Nuevo Importado
Envío: 15 a 20 días háb.
$ 109.360$ 65.620
-40%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 65.620
Llega entre el 09 Oct y el 19 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Reseña del libro "algebraic methodology and software technology (en Inglés)"

this book constitutes the refereed proceedings of the 7th international conference on algebraic methodology and software technology, amast98, held in amazonia, brazil in january 1999.the 29 revised full papers presented were carefully selected from a total of 80 submissions. also included are extended abstracts of six invited survey talks and three system descriptions. the papers span the whole range of algebraic methods in software engineering. among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for real-time and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc.

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