Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Guardat en:
Dades bibliogràfiques
Autor principal: Boldo, Sylvie. (Autor)
Altres autors: Melquiond, Guillaume (19..-....). (Auteur)
Format: E-Book
Idioma: Anglais
Publicat: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Matèries:
Coq (Electronic resource).
Coq > logiciel.
Arithmétique interne des ordinateurs.
Arithmétique en virgule flottante.
Computer algorithms.
Computer arithmetic.
Floating-point arithmetic.
Autres localisations: Voir dans le Sudoc
Accés en línia: Accès à l'E-book

Internet

Accès à l'E-book

Ítems similars