Floating-point arithmetic.
Overview
| Works: | 4 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Numerical computing with IEEE floating point arithmetic = including one theorem, one rule of thumb, and one hundred and one exercises /
by:
(Language materials, printed)
Formal verification of floating-point hardware design = a mathematical approach /
by:
(Electronic resources)
Formal verification of floating-point hardware design = a mathematical approach /
by:
(Electronic resources)
Subjects