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

Saved in:
Bibliographic Details
Main Author: Boldo, Sylvie. (Author)
Other Authors: Melquiond, Guillaume (19..-....). (Auteur)
Format: E-Book
Language: Anglais
Published: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Subjects:
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
Online Access: Accès à l'E-book

Internet

Accès à l'E-book

Similar Items