Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | E-Book |
| Idioma: | Anglais |
| Publicado em: |
London : Oxford, UK :
ISTE Press ; Elsevier,
2017.
|
| Assuntos: | |
| Autres localisations: | Voir dans le Sudoc |
| Acesso em linha: | Accès à l'E-book |