An edition of Formal Verification of Floating-Point Hardware Design (2018)
Formal Verification of Floating-Point Hardware Design
A Mathematical Approach
By David M. Russinoff,J Strother Moore
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2021
Publisher
Springer International Publishing AG
Language
eng
Pages
406
Description:
subjects: Computer arithmetic