TY - GEN
AU - Russinoff, David M.
TI - Formal Verification of Floating-Point Hardware Design A Mathematical Approach
ET - 2nd ed. 2022.
PB - Springer International Publishing
PB - : Imprint: Springer
SN - 9783030871819
KW - Computer arithmetic and logic units.
KW - Computers.
KW - Microprocessors.
KW - Computer architecture.
KW - Electronic circuit design.
PY - 2022.
PY - , 2022.
CY - Cham
CY - ; Cham
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation