Programming Languages and Systems

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

Autor: Atsushi Igarashi

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Atsushi Igarashi

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2016

strony

465

EAN

9783319479576

ISBN

3319479571

Enbook ID

14277760

Wydawca

Springer International Publishing AG

Waga

7256

Wymiary

155 x 235 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Programming Languages and Systems

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Anoxia

Hamilton's Mexican Handbook: A Complete Description Of The Republic Of Mexico (1884)

Complete Account of the Settlement at Port Jackson

America in the Age of Neoliberalism: The Decline of a Superpower in the 21st Century

BIOGRAPHY OF ELDER LOTT CARY, LATE MISSI

Ion Channels

Dirty Promises: Dirty Angels 3

Magus, a Complete System of Occult Philosophy

101 Hotel Lobbies, Bars & Restaurants

Klienci, którzy kupili tę książkę, kupili również

Ponencias diversas

Die Arbeitervereinsbildungen zwischen 1849 und 1870

Gleichheitssatz im Wirtschaftsrecht des Gemeinsamen Marktes

Afrique

Fakire und Fakirtum im alten und modernen Indien

Der Ring des Lebens (Grossdruck)

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

Shades of Grey 1/Geheimes Verlangen

Zakynthos Road Map 1:50 000

Kundenservice bei Facebook als Instrument zur Steigerung der Kundenbindung

Der Toneurythmiekurs von Rudolf Steiner

Hudební atlas hub I. Hřiby + CD

Inauguration de la Statue de Madame de Sevigne A Grignan