Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt / Main, Germany, September 4-6, 2018, Revised Selected Papers - Lecture Notes in Computer Science 2019 edition

Name: Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt / Main, Germany, September 4-6, 2018, Revised Selected Papers - Lecture Notes in Computer Science
Price: 8520 JPY
Availability: OutOfStock

価格

¥ 8.520

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月2日 - 年11月12日

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt / Main, Germany, September 4-6, 2018, Revised Selected Papers - Lecture Notes in Computer Science

2019 edition

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.

203 pages, 4 Illustrations, color; 561 Illustrations, black and white; XX, 203 p. 565 illus., 4 illu

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2019年2月23日
ISBN13	9783030138370
出版社	Springer Nature Switzerland AG
ページ数	203
寸法	155 × 234 × 15 mm · 352 g
言語	ドイツ語
編集者	Mesnard, Fred
編集者	Stuckey, Peter J.