Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - Lecture Notes in Computer Science -  - 書籍 - Springer Nature Switzerland AG - 9783030452599 - 2020年4月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - Lecture Notes in Computer Science 2020 edition

価格
¥ 8.519
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月2日 - 年12月14日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

まだ評価がありません

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.


261 pages, 228 Illustrations, color; 378 Illustrations, black and white; XVI, 261 p. 606 illus., 228

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2020年4月22日
ISBN13 9783030452599
出版社 Springer Nature Switzerland AG
ページ数 261
寸法 156 × 232 × 17 mm   ·   428 g
言語 ドイツ語  
編集者 Gabbrielli, Maurizio

同じ出版社からのその他の記事