| Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 2022 Edition Contributor(s): Russinoff, David M. (Author) |
|
 |
ISBN: 3030871800 ISBN-13: 9783030871802 Publisher: Springer OUR PRICE: $161.49 Product Type: Hardcover - Other Formats Published: March 2022 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Electronics - Circuits - General - Computers | Software Development & Engineering - General - Computers | Systems Architecture - General |
| Dewey: 004.1 |
| Physical Information: 1" H x 6.14" W x 9.21" (1.82 lbs) 436 pages |
