All Formats & Editions
1 - 2 of 2 results found
Formal Hardware Verification: Methods and Syste...
By Thomas Kropf
Edition Description
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All...
Edition Details
Format:Paperback
Language:English
ISBN:3540634754
Format: Paperback
Condition:
*Best Available: (ex-library)
$
12.09
Save $42.90!
List Price: $54.99
Almost Gone, Only 1 Left!
Formal Hardware Verification : Methods and Syst...
By Thomas Kropf
Edition Description
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All...
Edition Details
Format:Paperback
Language:English
ISBN:B00EZ0VJEC
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
