Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Programming Languages and Systems

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

Atsushi Igarashi

Language

English

Book Paperback

Libristo code: 14277760

Publishers Springer International Publishing AG, October 2016

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages... Full description

Libristo code: 14277760

125 b

51.73 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ponencias diversas Óscar P. Cano Moreno

Paperback

34.93 €

Die Arbeitervereinsbildungen zwischen 1849 und 1870 Kevin Loock

Paperback

16.19 €

Dva a půl muže ve člunu Williams Nigel

Hardback

9.81 €

Gleichheitssatz im Wirtschaftsrecht des Gemeinsamen Marktes Ernst Steindorff

Hardback

20.14 €

Afrique Blixen

Paperback

35.74 €

Fakire und Fakirtum im alten und modernen Indien Richard Schmidt

Paperback

19.03 €

Der Ring des Lebens (Grossdruck) Max Halbe

Hardback

22.27 €

Die gewerbs- oder bandenmäßige Steuerhinterziehung ( 370a AO) - ein Schreckensinstrument des Gesetzgebers? Susanne Schneider

Paperback

95.58 €

Shades of Grey 1/Geheimes Verlangen E L James

Paperback

13.56 €

Zakynthos Road Map 1:50 000 Opracowanie Zbiorowe

Map

17.91 €

Kundenservice bei Facebook als Instrument zur Steigerung der Kundenbindung Anonym

Paperback

17.10 €

Der Toneurythmiekurs von Rudolf Steiner Stefan Hasler

Paperback

24.90 €

Hudební atlas hub I. Hřiby + CD Václav Hálek

Hardback

9.71 €

Inauguration de la Statue de Madame de Sevigne A Grignan Monmerque-L

Paperback

14.57 €

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.