Defining the IEEE-854 floating-point standard in PVS
An edition of Defining the IEEE-854 floating-point standard in PVS (1995)
By Paul S. Miner
Publish Date
1995
Publisher
National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-
Description:
subjects: Floating point arithmetic, Formalism, Proving, Prototypes