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

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
沿って Fabio Fioravanti - により販売されています Dodax EU
コンディション: 新品
¥8,938
税込価格-無料配送
Fabio Fioravanti Logic-Based Program Synthesis and Transformation
Fabio Fioravanti - Logic-Based Program Synthesis and Transformation

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

¥8,938 含む VAT
1 個のアイテムしか利用できません 2 個のアイテムしか利用できません
配達: 2020-12-07 ~ 2020-12-09 の間
販売と配送: Dodax EU

詳細

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.



The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Rosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.

共演者・アシスタント

編集者 Fabio Fioravanti

編集者 John P. Gallagher

商品詳細

DUIN 22P5VPLV0H2

GTIN 9783319944593

発売日 10.07.2018

言語 英語

ページ数 341

Product type 文庫本

寸法 235 x 155 x 155  mm

製品重量 551 g

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