Computer arithmetic and formal proofs/ (Record no. 199681)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00351nam a2200121Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781785481123 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | Department of Computer Applications |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boldo, Sylvie |
| 245 #0 - TITLE STATEMENT | |
| Title | Computer arithmetic and formal proofs/ |
| Statement of responsibility, etc. | Sylvie Boldo |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc. | Elsevier: |
| Date of publication, distribution, etc. | 2017. |
| 300 ## - DESCRIPTION | |
| Extent | 326 p. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1 - Floating-Point Arithmetic<br/><br/>2 - The Coq System<br/><br/>3 - Formalization of Formats and Basic Operators<br/><br/>4 - Automated Methods<br/><br/>5 - Error-Free Computations and Applications<br/><br/>6 - Example Proofs of Advanced Operators<br/><br/>7 - Compilation of FP Programs<br/><br/>8 - Deductive Program Verification<br/><br/>9 - Real and Numerical Analysis<br/> |
| 650 ## - SUBJECT | |
| Keyword | Floating-point arithmetic |
| 856 ## - ONLINE RESOURCES | |
| url | https://www.sciencedirect.com/science/book/9781785481123 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | e-Books |
| Home library | Current library | Accession number | Koha item type |
|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | E-1005 | e-Books |