Introduction to Formal Hardware Verification - Thomas Kropf - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 16. oktober 1999
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Thomas Kropf
Introduction to Formal Hardware Verification

Pris
NOK 509

Bestillingsvarer

Forventes levert 9. - 17. sep
Få varsel om nye utgivelser fra Thomas Kropf

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 16. oktober 1999
ISBN13 9783540654452
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 308
Mål 156 × 234 × 19 mm   ·   517 g
Språk Tysk  

Mer med Thomas Kropf

Vis alle

Mer fra samme **utgiver**

Se alt med Thomas Kropf ( f.eks. Innbunden bok og Pocketbok )