67-4968-86 Formal Verification of Floating-Point Hardware Design 978-3-030-87180-2
仕様
- サブタイトル：A Mathematical Approach
- 著者：Russinoff, David M.
- 和文：浮動小数点ハードウェア設計の形式的検証
- 装丁：Hard
- 頁数他：XXVIII, 436 p. 40 illus.
- 発行日：2022/03/04
- 分類：ハードウェア設計
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|