Russinoff, David M. (Autor)
Formal Verification of Floating-Point Hardware Design
A Mathematical Approach
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-95513-1 |
|---|---|
| Seitenzahl | 388 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3731 Kbytes |