1.
Formal Verification of Floating-Point Hardware Design: a Mathematical Approach
by Russinoff, David M., Moore,...
ISBN: 9783319955124
List Price: $99.99
2.
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach
by Russinoff, David M.
ISBN: 9783030871802
3.
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach
by Russinoff, David M., Moore,...
ISBN: 9783030070489
List Price: $99.99
4.
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach
by Russinoff, David M.
ISBN: 9783030871833