Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
- 発売日: 2018年9月12日 水曜日 - 発売中
- 新刊発見日: 2018年09月08日
- 在庫状況: 予約受付中
- (2026年01月03日 11時35分 JST時点 - 詳細はこちら)
- David M. Russinoff/J Strother Moore
- Springer
- Amazon.co.jp 価格: ¥12,044.
- (2026年01月03日 11時35分 JST時点 - 詳細はこちら)
- ASIN: 3319955128
- EAN: 9783319955124
ハードカバー
新刊チェックキーワード

computer architecture design 1 user
[広告]



