Formal Verification of Floating-Point Hardware Design - A Mathematical Approach
- Författare
- David M. Russinoff
- (David M. Russinoff.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer International Publishing, Imprint: Springer | 2019 | Tyskland, Cham | XXIV, 382 sidor. 32 illus. online resource. | 978-3-319-95513-1 |