Introduction to Formal Hardware Verification - Thomas Kropf - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - October 16, 1999
In case cover and title do not match, the title is correct

Thomas Kropf
Introduction to Formal Hardware Verification

Price
HK$ 427
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 19 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.

308 pages, 110 black & white illustrations, 32 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 16, 1999
ISBN13 9783540654452
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 308
Dimensions 156 × 234 × 19 mm   ·   517 g
Language German  

More by Thomas Kropf

Show all

Mere med samme udgiver

See all of Thomas Kropf ( e.g. Hardcover Book and Paperback Book )