Computer arithmetic and formal proofs : (Record no. 216417)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03762cam a2200541 i 4500 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | N$T |
| 019 ## - | |
| -- | 1105194898 |
| -- | 1105574041 |
| -- | 1141933980 |
| -- | 1235832973 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780081011706 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0081011709 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1785481126 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781785481123 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boldo, Sylvie, |
| 245 10 - TITLE STATEMENT | |
| Title | Computer arithmetic and formal proofs : |
| Sub title | verifying floating-point algorithms with the Coq system / |
| Statement of responsibility, etc. | Sylvie Boldo, Guillaume Melquiond. |
| 300 ## - DESCRIPTION | |
| Extent | 1 online resource |
| 650 #0 - SUBJECT | |
| Keyword | Computer arithmetic. |
| 650 #0 - SUBJECT | |
| Keyword | Floating-point arithmetic. |
| 650 #0 - SUBJECT | |
| Keyword | Computer algorithms. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Melquiond, Guillaume, |
| 856 40 - ONLINE RESOURCES | |
| url | https://www.sciencedirect.com/science/book/9781785481123 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| -- | https://id.oclc.org/worldcat/entity/E39PBJxhjHPrYg9f68v3hVfcyd |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| -- | https://id.oclc.org/worldcat/entity/E39PCjthBhf6wGtTxq7mHx8P73 |
| 758 ## - | |
| -- | has work: |
| -- | Computer arithmetic and formal proofs (Text) |
| -- | https://id.oclc.org/worldcat/entity/E39PCFTQ4D7qCgmFRDdjbVmYWC |
| -- | https://id.oclc.org/worldcat/ontology/hasWork |
No items available.