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

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Boldo, Sylvie. (مؤلف)
مؤلفون آخرون:	Melquiond, Guillaume (19..-....). (Auteur)
التنسيق:	E-Book
اللغة:	Anglais
منشور في:	London : Oxford, UK : ISTE Press ; Elsevier, 2017.
الموضوعات:	Coq (Electronic resource). Coq > logiciel. Arithmétique interne des ordinateurs. Arithmétique en virgule flottante. Computer algorithms. Computer arithmetic. Floating-point arithmetic.
Autres localisations:	Voir dans le Sudoc
الوصول للمادة أونلاين:	Accès à l'E-book

Accès à l'E-book

مواد مشابهة