Formal Verification of Floating-Point Hardware Design
David M. Russinoff
Springer Nature Switzerland AG, 2019
104,50 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9783030070489
- ISBN-10
- 3030070484
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-01-25
- Pages
- 382
- Dimensions
- 154x234x25
- Weight
- 610