APA (7th ed.) Citation

Russinoff, D. (2022). Formal verification of floating-point hardware design: A mathematical approach (Second edition.). Springer.

Chicago Style (17th ed.) Citation

Russinoff, David. Formal Verification of Floating-point Hardware Design: A Mathematical Approach. Second edition. Cham ; Switzerland: Springer, 2022.

MLA (9th ed.) Citation

Russinoff, David. Formal Verification of Floating-point Hardware Design: A Mathematical Approach. Second edition. Springer, 2022.