Formal verification of floating-point hardware design a mathematical approach
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Electronic Resource |
| Langue: | English |
| Publié: |
Cham
Springer Nature Switzerland AG
[2019]
|
| Édition: | First edition. |
| Sujets: | |
| Accès en ligne: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |