Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Programming and Software Engineering, Band 9458) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Programming Languages and Systems: 13th Asian Symposium,...
Beispielbild für diese ISBN
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783319265285_new
Neu kaufen
EUR 59,99
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Programming Languages and Systems : 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 24823291-n
Neu kaufen
EUR 73,68
EUR 2,24 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer International Publishing Dez 2015, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 13th Asian Symposium onProgramming Languages and Systems, APLAS 2015, held in Pohang, South Korea, inNovember/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. Thepapers cover a variety of foundational and practical issues in programminglanguages 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. 528 pp. Englisch. Bestandsnummer des Verkäufers 9783319265285
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Programming Languages and Systems : 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 24823291-n
Neu kaufen
EUR 59,98
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 472. Bestandsnummer des Verkäufers 26372812772
Neu kaufen
EUR 85,09
EUR 3,39 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 472. Bestandsnummer des Verkäufers 374281275
Neu kaufen
EUR 82,79
EUR 7,51 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
PROGRAMMING LANGUAGES AND SYSTEMS (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers c7a5c5928688863f8e7c807b237b441d
Neu kaufen
EUR 46,22
EUR 46,00 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 472. Bestandsnummer des Verkäufers 18372812782
Neu kaufen
EUR 86,45
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer International Publishing, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 r. Bestandsnummer des Verkäufers 82810894
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Programming Languages and Systems
Verlag:
Springer, Springer Dez 2015, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 13th Asian Symposium onProgramming Languages and Systems, APLAS 2015, held in Pohang, South Korea, inNovember/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. Thepapers cover a variety of foundational and practical issues in programminglanguages 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 528 pp. Englisch. Bestandsnummer des Verkäufers 9783319265285
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar