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

Verification

von David M. Russinoff

Gebunden

ISBN-13: 978-3-319-95512-4

ISBN-10: 3-319-95512-8

Springer · 2018

Siehe auch:
2019TaschenbuchFormal Verification of Floating-Point Hardware Design: A Mathematical Approach