この商品を友人に教える:
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings Christel Baier
価格
NZ$ 132,50
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月2日 - 2026年1月14日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings
Christel Baier
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2020年10月8日 |
| ISBN13 | 9781013269431 |
| 出版社 | Saint Philip Street Press |
| ページ数 | 586 |
| 寸法 | 150 × 220 × 20 mm · 1,63 kg |
![Cover for Christel Baier · Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/803/9783662466803.jpg?christel-baier-2015-tools-and-algorithms-for-the-construction-and-analysis-of-systems-21st-international-conference-tacas-2015-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2015-london-uk-april-11-18-2015-proceedin&class=scaled&v=1450314149)
![Cover for Christel Baier · CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/766/9783540373766.jpg?christel-baier-2006-concur-2006-concurrency-theory-17th-international-conference-concur-2006-bonn-germany-august-27-30-2006-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1450314149)
![Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/651/9783540222651.jpg?christel-baier-2004-validation-of-stochastic-systems-a-guide-to-current-research-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1450314149)