1. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗