Title:
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Author:
Russinoff, David M. author.
ISBN:
9783319955131
Edition:
1st ed. 2019.
Physical Description:
XXIV, 382 p. 32 illus. online resource.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-95513-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 486716-1001 | ONLINE | Searching... | Searching... |