この商品を友人に教える:
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science Christel Baier 2004 edition
価格
¥ 8.786
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月9日 - 2026年1月21日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science
Christel Baier
480 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2004年8月11日 |
| ISBN13 | 9783540222651 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 472 |
| 寸法 | 155 × 235 × 24 mm · 666 g |
| 言語 | ドイツ語 |
| 編集者 | Baier, Christel |
| 編集者 | Haverkort, Boudewijn R. |
| 編集者 | Hermanns, Holger |
| 編集者 | Katoen, Joost-Pieter |
| 編集者 | Siegle, Markus |
![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)