Computer arithmetic and formal proofs/ Sylvie Boldo
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Contents:
1 - Floating-Point Arithmetic
2 - The Coq System
3 - Formalization of Formats and Basic Operators
4 - Automated Methods
5 - Error-Free Computations and Applications
6 - Example Proofs of Advanced Operators
7 - Compilation of FP Programs
8 - Deductive Program Verification
9 - Real and Numerical Analysis
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
Central Library, Sikkim University | Not for loan | E-1005 |
Total holds: 0
1 - Floating-Point Arithmetic
2 - The Coq System
3 - Formalization of Formats and Basic Operators
4 - Automated Methods
5 - Error-Free Computations and Applications
6 - Example Proofs of Advanced Operators
7 - Compilation of FP Programs
8 - Deductive Program Verification
9 - Real and Numerical Analysis
There are no comments on this title.