Explore: Arithmetic And Logic Units
Discover books, insights, and more — all in one place.
Learn more about Arithmetic And Logic Units with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “arithmetic-and-logic-units”:
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.