{"product_id":"programming-languages-and-systems-17th-asian-symposium-aplas-2019-nusa-dua-bali-indonesia-december-1-4-2019-proceedings-9783030341749","title":"Programming Languages and Systems: 17th Asian Symposium, Aplas 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings","description":"\u003cp\u003e • Author(s): Anthony Widjaja Lin\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.\u003c\/p\u003e \u003cp\u003eThe 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284292395159,"sku":"9783030341749","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030341749.webp?v=1769280743","url":"https:\/\/atlanticbooks.com\/products\/programming-languages-and-systems-17th-asian-symposium-aplas-2019-nusa-dua-bali-indonesia-december-1-4-2019-proceedings-9783030341749","provider":"Atlantic Books","version":"1.0","type":"link"}