Books · 2026 · English · record from Crossref
Formal Verification of Floating-Point Hardware Design
Russinoff, David M. · Springer International Publishing · 2022
The record
| Title | Formal Verification of Floating-Point Hardware Design |
|---|---|
| Authors | Russinoff, David M. |
| Publisher | Springer International Publishing |
| Year | 2022 |
| Language | English |
| ISBN | 9783030871802 |
| DOI | 10.1007/978-3-030-87181-9 |
| Catalogue | Crossref |
Open Library record ↗ (openlibrary.org/isbn/9783030871802.json answered with "Formal Verification of Floating-Point Ha", checked 4 October 2026)
Filed under
- Hardware & accelerators
This page reports a catalogue record. It is not a recommendation and it is not a shop: the outbound link above goes to a library catalogue, and there is no purchase link anywhere on this site. Titles keep the language of the record, so a German title stays German.