EAN: 9783319479576

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
08.07.2025 um 14:08 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: