Programming Languages and Systems / Lecture Notes in Computer Science Bd.6461 (PDF)
8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
(Sprache: Englisch)
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming...
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.6461 (PDF)“
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
Bibliographische Angaben
- 2010, 2010, 440 Seiten, Englisch
- Herausgegeben: Kazunori Ueda
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642171648
- ISBN-13: 9783642171642
- Erscheinungsdatum: 19.11.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.91 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.6461"
0 Gebrauchte Artikel zu „Programming Languages and Systems / Lecture Notes in Computer Science Bd.6461“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Programming Languages and Systems / Lecture Notes in Computer Science Bd.6461".
Kommentar verfassen