Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings - Lecture Notes in Computer Science - - 書籍 - Springer Nature Switzerland AG - 9783030590246 - 2020年9月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition

価格
¥ 8.515
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

まだ評価がありません

They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

221 pages, 4 Illustrations, color; 668 Illustrations, black and white; XII, 221 p. 672 illus., 4 ill

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2020年9月9日
ISBN13 9783030590246
出版社 Springer Nature Switzerland AG
ページ数 221
寸法 150 × 220 × 10 mm   ·   454 g
言語 ドイツ語  
編集者 Nakano, Keisuke
編集者 Sagonas, Konstantinos

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