Zobacz książki o podobnej tematyce

Więcej informacji o Programming Languages and Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 166 punkty

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

• Pełny tytuł: Programming Languages and Systems
• Podtytuł: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
• Autor: Atsushi Igarashi
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 465
• EAN: 9783319479576
• ISBN: 3319479571
• ID: 14277760
• Wydawca: Springer International Publishing AG
• Waga: 7256 g
• Wymiary: 235 × 155 × 28 mm
• Data wydania: 09. October 2016

Ulubione w innej kategorii

---

---

---