Interpretation of IEEE-854 floating-point standard and definition in the HOL system / Victor A. Carreño.
| Author/creator | Carrenõ, Victor A. |
| Other author | Langley Research Center. |
| Format | Book |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1995] |
| Description | 1 volume. |
| Series | NASA technical memorandum ; 110189 NASA technical memorandum 110189. ^A467613 |
| General note | Distributed to depository libraries in microfiche. |
| General note | Shipping list no.: 96-0366-M. |
| Reproduction note | Joyner- Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995] 1 microfiche. |
| GPO item number | 0830-D (MF) |
| Govt. docs number | NAS 1.15:110189 |