Name: algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected (en Inglés)
SKU: 24884382
Price: 70730.00 CLP
Availability: InStock
Author: Johnson, Michael ; Pavlovic, Dusko
ISBN: 9783642177958

portada algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected (en Inglés)

algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected (en Inglés)

Formato

Libro Físico

Ilustrado por

Michael Johnson

Dusko Pavlovic

Editorial

Springer

Autor

Johnson, Michael ; Pavlovic, Dusko

Año

2011

Idioma

Inglés

N° páginas

238

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.5x1.5 cm

Peso

0.38 kg.

ISBN

3642177956

ISBN13

9783642177958

Categorías

Lógica matemática
Análisis y diseño de sistemas
Arquitectura y diseño lógico de ordenadores

algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected (en Inglés)

Michael Johnson (Ilustrado por) · Dusko Pavlovic (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 128.600$ 70.730

-45%

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

Libro Nuevo

Quedan 100 unidades

$ 70.730

Llega entre el 14 Dic y el 18 Dic a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected (en Inglés)"

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.