Book Search Results
Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit by Jing Pan
Find "Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit" by Jing Pan 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
1Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
By Jing Pan
“Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Metadata:
- Title: ➤ Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
- Author: Jing Pan
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1991
- Publish Location: Hampton, Va
“Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Subjects and Themes:
- Subjects: Floating point arithmetic - Arithmetic and logic units - Central processing units - Program verification (Computers)
Edition Identifiers:
- The Open Library ID: OL16135336M
Access and General Info:
- First Year Published: 1991
- 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 Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit” online:
Shop for “Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit” on popular online marketplaces.
- Ebay: New and used books.