Formal Verification of Floating-Point Hardware Design
- ISBN
- 9783319955124
Formal Verification of Floating-Point Hardware Design is a computer arithmetic book by David M. Russinoff.
Discover Formal Verification of Floating-Point Hardware Design by David M. Russinoff, computer arithmetic.
About the Author
is the author of Formal Verification of Floating-Point Hardware Design. Browse their full catalog on Booklogr.
Explore more books by David M. Russinoff →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Formal Verification of Floating-Point Hardware Design?+
Formal Verification of Floating-Point Hardware Design is a Computer arithmetic book.
Who wrote Formal Verification of Floating-Point Hardware Design?+
Formal Verification of Floating-Point Hardware Design was written by David M. Russinoff.