Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Name: Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings - Lecture Notes in Computer Science
Price: 12394 JPY
Availability: OutOfStock

価格

¥ 12.394

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月23日 - 年12月3日

クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings - Lecture Notes in Computer Science

1st ed. 2021 edition

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions.

345 pages, 1 Illustrations, color; 63 Illustrations, black and white; X, 345 p. 64 illus., 1 illus.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2021年2月13日
ISBN13	9783030684457
出版社	Springer Nature Switzerland AG
ページ数	345
寸法	235 × 156 × 21 mm · 536 g
言語	ドイツ語
編集者	Fernandez, Maribel