Programming Languages and Systems / Lecture Notes in Computer Science Bd.8858 (PDF)
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Programming Languages and Systems / Lecture Notes in Computer Science Bd.8858 (PDF)“
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.
Bibliographische Angaben
- 2014, 2014, 490 Seiten, Englisch
- Herausgegeben: Jacques Garrigue
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319127365
- ISBN-13: 9783319127361
- Erscheinungsdatum: 13.10.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.39 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Programming Languages and Systems / Lecture Notes in Computer Science Bd.8858"
0 Gebrauchte Artikel zu „Programming Languages and Systems / Lecture Notes in Computer Science Bd.8858“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Programming Languages and Systems / Lecture Notes in Computer Science Bd.8858".
Kommentar verfassen