Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
2018-09-12 (水) - 発売中
|
Formal Verification of Floating-Point Hardware Design: A Mathematical ApproachDavid M. Russinoff / J Strother Moore Amazon.co.jp 価格 ￥12,044. 予約受付中 2026年01月03日 08時17分 JST時点 - 詳細はこちら Amazonで購入する 他のショップで探す |
- 新刊発見日: 2018年09月08日
- Springer
- ASIN: 3319955128
- EAN: 9783319955124
- ハードカバー
- 新刊チェックキーワード
computer architecture design
1