Vai al contenuto principale della pagina
Autore: | Boldo Sylvie |
Titolo: | A high-level formalization of floating-point numbers in PVS [[electronic resource] /] / Sylvie Boldo, Cesar Munoz |
Pubblicazione: | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2006] |
Descrizione fisica: | 1 online resource (18 pages) : illustrations |
Soggetto topico: | Floating-point arithmetic - Mathematical models |
Altri autori: | MuñozCésar |
Note generali: | Title from title screen (viewed on May 23, 2011). |
"National Institute of Aerospace." | |
"October 2006." | |
"NIA Report No. 2006-01." | |
Nota di bibliografia: | Includes bibliographical references (pages 16-18). |
Titolo autorizzato: | A high-level formalization of floating-point numbers in PVS |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910699313403321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |