Name: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (en Inglés)
Price: 184.08 PEN
Availability: InStock
Author: Igarashi, Atsushi
ISBN: 9783319479576

portada Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (en Inglés)

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Igarashi, Atsushi

Idioma

Inglés

N° páginas

465

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.5 cm

Peso

0.67 kg.

ISBN13

9783319479576

Categorías

Compiladores e intérpretes
Lenguajes de programación y extensión/scripting: general

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (en Inglés)

Igarashi, Atsushi (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 409,08S/ 184,08

-55%

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

Libro Nuevo

Quedan más de 100 unidades

S/ 184,08

Llega entre el 06 Jul y el 14 Jul a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.