Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 2
79.98 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10449841
Beschreibung
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
Eigenschaften
Breite: | 177 |
Gewicht: | 727 g |
Höhe: | 28 |
Länge: | 236 |
Seiten: | 465 |
Sprachen: | Englisch |
Autor: | Atsushi Igarashi |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen