Russinoff, David M.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
SpringerLink (Online service); Russinoff, David M.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
Russinoff, David M.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
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.