Formal verification of floating-point hardware design : a mathematical appr..
Book
All
Business
Culture
Environment
Health
Politics
Research
Key facts
- Author: David Russinoff
- Isbn: 3319955136
- Bnb id: GBB8J5219
- Language: eng
- Publication date: 2019
- book publisher: : Springer
- Book subject: Engineering, Operating systems (Computers), System design, Systems engineering, Computer science, Software engineering, Formal methods (Computer science), Floating-point arithmetic
Latest news
Sorry there is no related news yet.
Visualizations
Datasets
rows
Book series where Book equals Formal verification of floating-point hardware design : a mathematical approach
rows
Book subjects where Book equals Formal verification of floating-point hardware design : a mathematical approach
rows
Books by David Russinoff
rows
Books where book publisher is : Springer
rows
Books called Formal verification of floating-point hardware design : a mathematical approach
Source
Updated: 78 days ago