Research Catalog

Defining the IEEE-854 floating-point standard in PVS

Title
Defining the IEEE-854 floating-point standard in PVS [microform] / Paul S. Miner.
Author
Miner, Paul S.
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 ; 110167
Alternative Title
  • Defining the IEEE 854 floating point standard in PVS
  • Defining the IEEE eight hundred fifty-four floating point standard in PVS
Subject
  • Floating point arithmetic
  • Formalism
  • Prototypes
  • Proving
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 96-0033-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.15:110167
OCLC
marcive34073279
Author
Miner, Paul S.
Title
Defining the IEEE-854 floating-point standard in PVS [microform] / Paul S. Miner.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
Series
NASA technical memorandum ; 110167
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:110167
Research Call Number
READEX Microfiche NAS 1.15:110167
View in Legacy Catalog