Compare prices and save on cheap textbooks at CheapestTextbooks.com

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification
Hardcover
Edition:
1999
Author:
Thomas Kropf
Publisher:
Springer
Release Date:
1999
ISBN-10:
3540654453
ISBN-13:
9783540654452
List Price: 
$89.95
Cheapest Price Summary

Used: $46.28

eCampus
(Marketplace)
Price:
$42.31
Shipping:
$3.97
Total:
$46.28
Buy Nowclick here!

New: $89.45

Knetbooks
Price:
$89.45
Shipping:
at checkout
Total:
$89.45
Buy Nowclick here!

eBook (30 days): $19.80

eCampus
Price:
$19.80
Shipping:
$0.00
Total:
$19.80
Rent Nowclick here!
Store Condition Coupons & Deals Price Shipping Total 
VitalSource
eBook
eBook Check price
at VitalSource		 at checkout
 
CheckPriceclick here!
RedShelf
eTextbook
eTextbook Check price
at RedShelf		 at checkout
 
CheckPriceclick here!
AbeBooks
Used & new (marketplace)
Used & new (marketplace) Check price
at AbeBooks		 at checkout
 
CheckPriceclick here!
SellBackBooks
Sell back
Sell back Check price
at SellBackBooks		 at checkout
 
CheckSell Backclick here!
Not available right now: Semester Rental, Quarter Rental, Short Term Rental

Prices checked Oct 20, 2026, 3:55 AM ET. Totals include shipping where the store lists it.

About Introduction to Formal Hardware Verification

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks, VitalSource and RedShelf for their current prices on ISBN 9783540654452 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

More Hardware textbooks

Browse: Hardware textbooks · All textbook subjects