Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Programming Languages and Systems
CHF 75.95
Auf Lager
SKU
ICGFE9QTNSH
1 Verfügbar 
Geliefert zwischen Do., 20.11.2025 und Fr., 21.11.2025
Details
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
Includes supplementary material: sn.pub/extras
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319265285
- Anzahl Seiten 528
- Lesemotiv Verstehen
- Genre Programming Languages
- Auflage 1st edition 2015
- Editor Sungwoo Park, Xinyu Feng
- Herausgeber Springer International Publishing
- Gewicht 791g
- Untertitel 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
- Größe H235mm x B155mm x T29mm
- Jahr 2015
- EAN 9783319265285
- Format Kartonierter Einband
- ISBN 3319265288
- Veröffentlichung 10.12.2015
- Titel Programming Languages and Systems
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
