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

Uloženo v:
Podrobná bibliografie
Hlavní autor: Boldo, Sylvie. (Autor)
Další autoři: Melquiond, Guillaume (19..-....). (Auteur)
Médium: E-Book
Jazyk: Anglais
Vydáno: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Témata:
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
On-line přístup: Accès à l'E-book

Internet

Accès à l'E-book

Podobné jednotky