Defining the IEEE-854 floating-point standard in PVS

By Paul S. Miner

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

Book Lists