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

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Boldo, Sylvie. (Egilea)
Beste egile batzuk: Melquiond, Guillaume (19..-....). (Auteur)
Formatua: E-Book
Hizkuntza: Anglais
Argitaratua: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Gaiak:
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
Sarrera elektronikoa: Accès à l'E-book

Internet

Accès à l'E-book

Antzeko izenburuak