LIBRISTO
LIBROAMANTO
obligatorio
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 Mensajería GLS 7.99 Mensajería Correos 5.49 Mensajería DHL 5.49 Punto SEUR 3.99

Envío gratis a partir de 69,99 euros.

Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Programming Languages and Systems Atsushi Igarashi
Código Libristo: 14277760
Editores Springer International Publishing AG, octubre 2016
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages... Descripción completa
? points 139 b
56.59
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días


Clientes que también han comprado


Ponencias diversas Óscar P. Cano Moreno / Libro Tapa blanda
common.buy 33.59
Dva a půl muže ve člunu Williams Nigel / Libro Tapa dura
common.buy 10.29
Afrique Blixen / Libro Tapa blanda
common.buy 35.89
Fakire und Fakirtum im alten und modernen Indien Richard Schmidt / Libro Tapa blanda
common.buy 20.19
Der Ring des Lebens (Grossdruck) Max Halbe / Libro Tapa dura
common.buy 24.59
Shades of Grey 1/Geheimes Verlangen E L James / Libro Tapa blanda
common.buy 14.99
Zakynthos Road Map 1:50 000 Opracowanie Zbiorowe / Artículos impresos Mapa
common.buy 12.39
Der Toneurythmiekurs von Rudolf Steiner Stefan Hasler / Libro Tapa blanda
common.buy 26.39
Hudební atlas hub I. Hřiby + CD Václav Hálek / Libro Tapa dura
common.buy 10.49

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle


Anoxia Adrian Nathan West / Libro Tapa blanda
common.buy 15.49
BIOGRAPHY OF ELDER LOTT CARY, LATE MISSI JAMES BARNET TAYLOR / Libro Tapa dura
common.buy 36.19
Ion Channels Nikita Gamper / Libro Tapa blanda
common.buy 121.69
Dirty Promises: Dirty Angels 3 Karina Halle / Libro Tapa blanda
common.buy 11.69
Magus, a Complete System of Occult Philosophy Francis Barrett / Libro Tapa blanda
common.buy 25.99
101 Hotel Lobbies, Bars & Restaurants Corinna Kretschmar-Joehnk / Libro Tapa dura
common.buy 48.59

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?