Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Programming and Software Engineering)
Produktdetails
| Artikelnummer | 232087133 | Erscheinungsdatum | 2026/06/18 | Listenpreis | €18.96 | Modellnummer | 232087133 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
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. Read more
| ISBN10 | 3319479571 |
|---|---|
| ISBN13 | 978-3319479576 |
| Edition | 1st ed. 2016 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.09 x 9.25 inches |
| Item Weight | 1.48 pounds |
| Print length | 482 pages |
| Publication date | October 9, 2016 |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
Korrekturanfrage