この商品を友人に教える:
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture N Frank Pfenning 2013 edition
価格
¥ 8.692
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月23日 - 2026年1月2日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture N
Frank Pfenning
450 pages, 51 black & white illustrations, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2013年2月20日 |
| ISBN13 | 9783642370748 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 451 |
| 寸法 | 155 × 235 × 24 mm · 662 g |
| 言語 | フランス語 |
| 編集者 | Pfenning, Frank |
![Cover for Frank Pfenning · Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/946/9783540735946.jpg?frank-pfenning-2007-automated-deduction-cade-21-21st-international-conference-on-automated-deduction-bremen-germany-july-17-20-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1441021331)
![Cover for Frank Pfenning · Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/342/9783540368342.jpg?frank-pfenning-2006-term-rewriting-and-applications-17th-international-conference-rta-2006-seattle-wa-usa-august-12-14-2006-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1615210457)
