Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27. august 1997
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Pris
NOK 569

Bestillingsvarer

Forventes levert 13. - 21. jan 2026

Kundene våre sier:

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

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 27. august 1997
ISBN13 9783540634751
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 388
Mål 155 × 233 × 22 mm   ·   494 g
Språk Tysk  
Redaktør Kropf, Thomas

Mer med Thomas Kropf

Vis alle

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