![Formal Verification Of Floating-Point Hardware Design: A Mathematical Approach Formal Verification Of Floating-Point Hardware Design: A Mathematical Approach](https://cdn11.bigcommerce.com/s-gibnfyxosi/images/stencil/300x300/products/3885391/3914249/9783030871833__36921.1696620622.jpg?c=1)
Formal Verification Of Floating-Point Hardware Design: A Mathematical Approach
Springer
ISBN13:
9783030871802
$180.44
- | Author: David M. Russinoff
- | Publisher: Springer
- | Publication Date: Apr 04, 2022
- | Number of Pages: 464 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 3030871800
- | ISBN-13: 9783030871802
- Author:
- David M. Russinoff
- Publisher:
- Springer
- Publication Date:
- Apr 04, 2022
- Number of pages:
- 464 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 3030871800
- ISBN-13:
- 9783030871802