Summary goes here
Enregistré dans:
| Format: | Livre |
|---|---|
| Langue: | anglais |
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c00e1644-0d64-4e7c-9c9c-a0a1638e18d7 |
| isbn | |
| issn | |
| language | eng |
| physical | 1 online resource (18 pages) :illustrations. |
| publication | – publisher: National Aeronautics and Space Administration Langley Research Center dateOfPublication: 2006 |
| publishDate | 2006 |
| subjects | |
| title | A high-level formalization of floating-point numbers in PVS / Sylvie Boldo, Cesar Munoz. |
| topic | Floating-point arithmetic Electronic government information Government publications |