送料無料 - 安全な支払い - 返金保証 ヘルプが必要ですか?

Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
沿って Atsushi Igarashi - により販売されています Dodax EU
コンディション: 新品
¥9,719
税込価格-無料配送
Atsushi Igarashi Programming Languages and Systems
Atsushi Igarashi - Programming Languages and Systems

この商品が気に入りましたか?みんなにお薦めください!

¥9,719 含む VAT
1 個のアイテムしか利用できません 1 個のアイテムしか利用できません
配達: 2020-12-04 ~ 2020-12-08 の間
販売と配送: Dodax EU

詳細

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.



The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.



 




共演者・アシスタント

編集者 Atsushi Igarashi

商品詳細

DUIN 23LH6PEB7S0

GTIN 9783319479576

発売日 09.10.2016

言語 英語

ページ数 465

Product type 文庫本

寸法 235 x 177 x 155  mm

製品重量 7256 g

¥9,719
弊社のWebサイトではCookieを使用して、サービスの効率とユーザーフレンドリーを高めています。 したがって、「Cookieを受け入れる」を選択してください! 詳細については、プライバシーポリシーをご覧ください。