Research Catalog

Interpretation of IEEE-854 floating-point standard and definition in the HOL system

Title
Interpretation of IEEE-854 floating-point standard and definition in the HOL system [microform] / Victor A. Carreño.
Author
Carrenõ, Victor A.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]

Details

Additional Authors
Langley Research Center.
Description
1 v.
Series Statement
NASA technical memorandum ; 110189
Subject
  • Floating point arithmetic
  • Formalism
  • Standards
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 96-0366-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.15:110189
OCLC
marcive35216688
Author
Carrenõ, Victor A.
Title
Interpretation of IEEE-854 floating-point standard and definition in the HOL system [microform] / Victor A. Carreño.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
Series
NASA technical memorandum ; 110189
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995] 1 microfiche.
Added Author
Langley Research Center.
Gpo Item No.
0830-D (MF)
Sudoc No.
NAS 1.15:110189
Research Call Number
READEX Microfiche NAS 1.15:110189
View in Legacy Catalog