Normal view MARC view ISBD view

Computer arithmetic and formal proofs/ Sylvie Boldo

By: Boldo, SylvieMaterial type: Text

TextPublication details: Elsevier: 2017Description: 326 pISBN: 9781785481123Subject(s): Floating-point arithmeticOnline resources: Click here to access online

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
e-Books	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.

to post a comment.