Book Search Results
Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit
Find "Toward A Formal Verification Of A Floating Point Coprocessor And Its Composition With A Central Processing Unit" 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
“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
- Language: English
- Number of Pages: Median: 118
- Publisher: ➤ CreateSpace Independent Publishing Platform
- Publish Date: 2018
Edition Identifiers:
- The Open Library ID: OL56159353M
- All ISBNs: 1723462780 - 9781723462788
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
2Toward 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.