Interpretation of IEEE-854 floating-point standard and definition in the HOL system
An edition of Interpretation of IEEE-854 floating-point standard and definition in the HOL system (1995)
By Victor A. Carreño
Publish Date
1995
Publisher
National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-
1-2 of 2 Editions
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Language: eng
Published In: 1995
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Language: eng
Published In: 1995
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor