この商品を友人に教える:
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach David M. Russinoff Second Edition 2022 edition
価格
¥ 17.342
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月16日 - 年11月26日
クリスマスプレゼントは1月31日まで返品可能です
David M. Russinoff の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
David M. Russinoff
436 pages, 40 Illustrations, black and white; XXVIII, 436 p. 40 illus.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2023年3月5日 |
| ISBN13 | 9783030871833 |
| 出版社 | Springer Nature Switzerland AG |
| ページ数 | 436 |
| 寸法 | 150 × 220 × 10 mm · 706 g |
| 言語 | ドイツ語 |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover Book) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-book&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-hardcover-book&class=scaled&v=1780455123)
![Cover for Alan Dix · Statistics for HCI: Making Sense of Quantitative Data - Synthesis Lectures on Human-Centered Informatics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9783032352798.jpg?alan-dix-2027-statistics-for-hci-making-sense-of-quantitative-data-synthesis-lectures-on-human-centered-informatics-hardcover-book&class=scaled&v=1790612312)
