Russinoff, David M. (Autor)
Formal Verification of Floating-Point Hardware Design
A Mathematical Approach
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-030-87181-9 |
|---|---|
| Seitenzahl | 436 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 5147 Kbytes |