GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Programming and Software Engineering |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer |
| ISBN | 9783319479576 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.10.2016 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Atsushi Igarashi |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | Programming and Software Engineering |
|---|---|
| Themen | Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer |
| ISBN | 9783319479576 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.10.2016 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Atsushi Igarashi |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?