Explore: Hardwareverifikation
Discover books, insights, and more — all in one place.
Learn more about Hardwareverifikation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “hardwareverifikation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Hardware and software
By International Haifa Verification Conference (4th 2008 Haifa, Israel)
“Hardware and software” Metadata:
- Title: Hardware and software
- Author: ➤ International Haifa Verification Conference (4th 2008 Haifa, Israel)
- Language: English
- Number of Pages: Median: 214
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin
“Hardware and software” Subjects and Themes:
- Subjects: ➤ Congresses - Verification - Computer programs - Computer input-output equipment - Software architecture - Computer software - Computer software, verification - Integrated circuits - Hardwareverifikation - Korrektheit - Programmverifikation - Software - Testen - Model Checking
Edition Identifiers:
- The Open Library ID: OL24815250M
- Online Computer Library Center (OCLC) ID: 321129659
- Library of Congress Control Number (LCCN): 2009930043
- All ISBNs: 3642017010 - 9783642017018
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 Hardware and software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Test 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.
3Hardware and Software: Verification and Testing
By Kedar S. Namjoshi
“Hardware and Software: Verification and Testing” Metadata:
- Title: ➤ Hardware and Software: Verification and Testing
- Author: Kedar S. Namjoshi
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Hardware and Software: Verification and Testing” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer input-output equipment - Software architecture - Computer software - Programmverifikation - Model Checking - Congresses - Verification - Computer programs - Testen - Hardwareverifikation - Software - Computer software, verification - Hardware - Testing - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL25538989M
- Library of Congress Control Number (LCCN): 2011920830
- All ISBNs: 9783642192364 - 3642192378 - 9783642192371 - 364219236X
Access and General Info:
- First Year Published: 2011
- 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 Hardware and Software: Verification and Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Verifikation digitaler Systeme
By Hans Eveking
“Verifikation digitaler Systeme” Metadata:
- Title: Verifikation digitaler Systeme
- Author: Hans Eveking
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1991
- Publish Location: Wiesbaden
“Verifikation digitaler Systeme” Subjects and Themes:
- Subjects: Hardwareverifikation
Edition Identifiers:
- The Open Library ID: OL27094282M
- Online Computer Library Center (OCLC) ID: 864038228
- All ISBNs: 3322946843 - 9783322946843
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 Verifikation digitaler Systeme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.