Formal Verification of Floating-Point Hardware Design
Subtitle: A Mathematical Approach
Publisher: Springer
Published: Jan 25, 2019
Format: paperback
Number of pages: 406
ISBN-13: 9783030070489
Notes: Source title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach