Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Ueda, Kazunori (EDT)
ISBN 10: 364217163X ISBN 13: 9783642171635
Verlag: Springer, 2010
Neu
Softcover
Verkäufer
GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 28. Januar 2020
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Bestandsnummer des Verkäufers 12067801-n
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Programming Languages and Systems : 8th ...
Verlag: Springer
Erscheinungsdatum: 2010
Einband: Softcover
Zustand: New
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 10034504/12
Gebraucht kaufen
EUR 54,19
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLING22Oct2817100464334
Neu kaufen
EUR 61,23
EUR 3,39 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Up to date resultsFast conference proceedingsState-of-the-art reportThe 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 s. Bestandsnummer des Verkäufers 5051342
Neu kaufen
EUR 64,08
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems (Paperback)
ISBN 10: 364217163X
ISBN 13: 9783642171635
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. Presents foundational and practical issues in programming languages and systems and features 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, and safety. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783642171635
Foto des Verkäufers
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - 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. Bestandsnummer des Verkäufers 9783642171635
Neu kaufen
EUR 79,32
EUR 63,52 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 456 pages. 9.00x6.00x0.75 inches. In Stock. Bestandsnummer des Verkäufers x-364217163X
Neu kaufen
EUR 80,74
EUR 14,23 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar