Approximations and abstractions for reasoning about machine arithmetic
- Författare
- Aleksandar Zeljic
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Uppsala University | 2016 | Sverige, Uppsala | 96 sidor. | |
| Uppsala University | 2016 | Sverige |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Uppsala University | 2016 | Sverige, Uppsala | 96 sidor. | |
| Uppsala University | 2016 | Sverige |