Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Programming and Software Engineering) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Programming Languages and Systems: 13th Asian Symposium,...
Stock Image
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319265285_new
Buy New
US$ 70.61
US$ 16.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages and Systems : 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24823291-n
Seller Image
Programming Languages and Systems : 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24823291-n
Buy New
US$ 70.59
US$ 20.39 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages and Systems
Published by
Springer International Publishing Dez 2015, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783319265285
Buy New
US$ 64.83
US$ 27.06 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Programming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 472. Seller Inventory # 26372812772
Stock Image
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 DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 472. Seller Inventory # 374281275
Buy New
US$ 94.68
US$ 8.84 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
PROGRAMMING LANGUAGES AND SYSTEMS (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # c7a5c5928688863f8e7c807b237b441d
Buy New
US$ 56.02
US$ 54.13 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Programming Languages and Systems
Published by
Springer International Publishing, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: 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. Seller Inventory # 82810894
Buy New
US$ 58.62
US$ 57.65 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
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 DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 472. Seller Inventory # 18372812782
Buy New
US$ 104.78
US$ 11.71 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Programming Languages and Systems
Published by
Springer, Springer Dez 2015, 2015
ISBN 10: 3319265288
ISBN 13: 9783319265285
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783319265285
Buy New
US$ 64.83
US$ 70.60 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available