Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design ad…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-95513-1
- Collation
- XXIV, 382p.:Ill
- Series Title
- -
- Call Number
- 004.015 1 Rus f
Search Result
Found 1 from your keywords: Author : "Russinoff, David M."
Query took 0.0162 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography