Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues - Maurizio Proietti - 書籍 - Springer International Publishing AG - 9783319178219 - 2015年5月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Maurizio Proietti
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues 2015 edition

価格
NOK 569
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

333 pages, 61 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年5月4日
ISBN13 9783319178219
出版社 Springer International Publishing AG
ページ数 333
寸法 155 × 235 × 18 mm   ·   534 g
言語 フランス語  
編集者 Proietti, Maurizio
編集者 Seki, Hirohisa
すべて表示

Maurizio Proiettiの他の作品を見る

Maurizio Proiettiのすべてを見る ( 例： Book および Paperback Book )