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)

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

By Victor A. Carreño

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

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, Standards