|
von David M. RussinoffGebunden Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-319-95512-4 ISBN-10: 3-319-95512-8 Springer · 2018 |
| Siehe auch: | ||
| 2019 | Taschenbuch | Formal Verification of Floating-Point Hardware Design: A Mathematical Approach |