Introduction to Formal Hardware Verification - Thomas Kropf - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 16. októbra 1999
V prípade, že obal a názov nesedia, platí názov

Thomas Kropf
Introduction to Formal Hardware Verification

Cena
€ 51,49

Objednané zo vzdialeného skladu

Očakávané doručenie 26. okt - 3. nov
Dostávajte upozornenia na nové nahrávky interpreta Thomas Kropf

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 16. októbra 1999
ISBN13 9783540654452
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 308
Rozmery 156 × 234 × 19 mm   ·   517 g
Jazyk Nemčina  

Viac od Thomas Kropf

Zobraziť všetko

Viac od toho istého vydavateľa

Pozrieť všetko od Thomas Kropf