Formal verification of floating-point hardware design a mathematical approach - Russinoff, David M.; SpringerLink (Online service). (Cham Springer Nature Switzerland AG, 2019)
Electronic reproduction.
Keywords: Electronic books