Book Search Results
Test Pattern Generation Using Boolean Proof Engines
Find "Test Pattern Generation Using Boolean Proof Engines" 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
1Test pattern generation using Boolean proof engines
By Rolf Drechsler
“Test pattern generation using Boolean proof engines” Metadata:
- Title: ➤ Test pattern generation using Boolean proof engines
- Author: Rolf Drechsler
- Language: English
- Number of Pages: Median: 192
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Dordrecht - New York
“Test pattern generation using Boolean proof engines” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Boolean Algebra - Integrierte Schaltung - Verification - Automatic test equipment - ATPG - Hardwareverifikation - Integrated circuits - Algebra, boolean - Binary system (mathematics) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL24803430M
- Online Computer Library Center (OCLC) ID: 310401082
- Library of Congress Control Number (LCCN): 2009926161
- All ISBNs: 9789048123605 - 9048123593 - 9789048123599 - 9048123607
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Test pattern generation using Boolean proof engines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Test Pattern Generation using Boolean Proof Engines
By Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey and Daniel Tille
“Test Pattern Generation using Boolean Proof Engines” Metadata:
- Title: ➤ Test Pattern Generation using Boolean Proof Engines
- Authors: Rolf DrechslerStephan EggersglüßGörschwin FeyDaniel Tille
- Number of Pages: Median: 204
- Publisher: Rolf Drechsler - Springer
- Publish Date: 2010
Edition Identifiers:
- The Open Library ID: OL28018375M
- All ISBNs: 9048184916 - 9789048184910
Access and General Info:
- First Year Published: 2010
- 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 Test Pattern Generation using Boolean Proof Engines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Test Pattern Generation Using Boolean Proof Engines” online:
Shop for “Test Pattern Generation Using Boolean Proof Engines” on popular online marketplaces.
- Ebay: New and used books.