Formal Verification of Floating-Point Hardware Design : A Mathematical Approach

MLA

Russinoff, David M. Formal Verification of Floating-point Hardware Design : A Mathematical Approach. Cham: Springer International Publishing AG, 2022.

APA

Russinoff, D. M. (2022). Formal Verification of Floating-Point Hardware Design : A Mathematical Approach. Cham: Springer International Publishing AG.

Chicago

Russinoff, David M. Formal Verification of Floating-Point Hardware Design : A Mathematical Approach. Cham: Springer International Publishing AG, 2022.