この商品を友人に教える:
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 第1 版
価格
¥ 24.327
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月24日 - 年12月10日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary
288 pages, 50ill.
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2001年4月2日 |
| ISBN13 | 9781568811451 |
| 出版社 | Taylor & Francis Inc |
| ページ数 | 284 |
| 寸法 | 150 × 220 × 20 mm · 690 g |
| 言語 | 英語 |
| 編集者 | Kerber, Manfred |
| 編集者 | Kohlhase, Michael |
