Enrichment
Formal verification of floating-point hardware design : a mathematical appr..
Formal verification of floating-point hardware design : a mathematical approach is a book.
FilterAll
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
This dashboard is based on data from: The British Library
Updated: 91 days ago
License
This content can be used under the CC BY 4.0 license
