Book Search Results
Defining The Ieee 854 Floating Point Standard In Pvs by Paul S. Miner
Find "Defining The Ieee 854 Floating Point Standard In Pvs" by Paul S. Miner through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Defining the IEEE-854 floating-point standard in PVS
By Paul S. Miner
“Defining the IEEE-854 floating-point standard in PVS” Metadata:
- Title: ➤ Defining the IEEE-854 floating-point standard in PVS
- Author: Paul S. Miner
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, Va - [Springfield, Va
“Defining the IEEE-854 floating-point standard in PVS” Subjects and Themes:
- Subjects: Floating point arithmetic - Formalism - Proving - Prototypes
Edition Identifiers:
- The Open Library ID: OL18081613M - OL15414533M - OL17023832M - OL17116571M
- Online Computer Library Center (OCLC) ID: 34073279
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Defining the IEEE-854 floating-point standard in PVS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Defining The Ieee 854 Floating Point Standard In Pvs” online:
Shop for “Defining The Ieee 854 Floating Point Standard In Pvs” on popular online marketplaces.
- Ebay: New and used books.