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
Íkr 6,759
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 14 - 22

Our customers say:

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

Not rated yet

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 )