Introduction to Formal Hardware Verification - Thomas Kropf - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 16 oktober 1999
Om omslag och titel inte matchar är det titeln som gäller

Thomas Kropf
Introduction to Formal Hardware Verification

Pris
SEK 549

Beställningsvara

Förväntad leverans 2 - 10 dec
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Thomas Kropf

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även 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öcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 16 oktober 1999
ISBN13 9783540654452
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 308
Mått 156 × 234 × 19 mm   ·   517 g
Språk Tyska  

Fler produkter med Thomas Kropf

Visa alla

Mer från samma **utgivare**

Se alt med Thomas Kropf