LIBRISTO
LIBROAMANTO
mandatory
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
0
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Programming Languages and Systems

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

Language EnglishEnglish
Book Paperback
Book Programming Languages and Systems Atsushi Igarashi
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
? points 132 b
53.79 VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy


Customers also purchased


Ponencias diversas Óscar P. Cano Moreno / Book Paperback
common.buy 35.99
Dva a půl muže ve člunu Williams Nigel / Book Hardback
common.buy 10.09
Afrique Blixen / Book Paperback
common.buy 36.79
Fakire und Fakirtum im alten und modernen Indien Richard Schmidt / Book Paperback
common.buy 19.79
Der Ring des Lebens (Grossdruck) Max Halbe / Book Hardback
common.buy 24.80
Shades of Grey 1/Geheimes Verlangen E L James / Book Paperback
common.buy 15.00
Zakynthos Road Map 1:50 000 Opracowanie Zbiorowe / Printed items Map
common.buy 12.09
Der Toneurythmiekurs von Rudolf Steiner Stefan Hasler / Book Paperback
common.buy 25.89
Hudební atlas hub I. Hřiby + CD Václav Hálek / Book Hardback
common.buy 9.59

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


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

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account