Russinoff, David M.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
SpringerLink (Online service); Russinoff, David M.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
Russinoff, David M.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Software Engineering.
Computer architecture.
Electronic circuit design.
Microprocessors.
Circuits and Systems.
Software engineering.
Electronics Design and Verification.
Hardware Performance and Reliability.
Electronic circuits.
Computers.
Computer Hardware.
Computer software—Reusability.
Processor Architectures.
Performance and Reliability.
Arithmetic and Logic Structures.
Computer arithmetic and logic units.