Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Verification

von David M. Russinoff

Taschenbuch

ISBN: 978-3-030-07048-9

ISBN-10: 3-030-07048-4

Springer · 5. November 2019

Siehe auch:
2018Gebundene AusgabeFormal Verification of Floating-Point Hardware Design: A Mathematical Approach