| Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|---|
| Formal Verification of Floating-Point Hardware Design: A Mathematical Approach | Taschenbuch | 978-3-030-07048-9 (3-030-07048-4) | 2019 |
| Formal Verification of Floating-Point Hardware Design: A Mathematical Approach | Gebunden | 978-3-319-95512-4 (3-319-95512-8) | 2018 |