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

Kaydedildi:
Detaylı Bibliyografya
Yazar: Boldo, Sylvie. (Yazar)
Diğer Yazarlar: Melquiond, Guillaume (19..-....). (Auteur)
Materyal Türü: E-Book
Dil: Anglais
Baskı/Yayın Bilgisi: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Konular:
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 Erişim: Accès à l'E-book

Internet

Accès à l'E-book

Benzer Materyaller