Test Pattern Generation using Boolean Proof Engines

Name: Test Pattern Generation using Boolean Proof Engines
Brand: Springer
SKU: 9789048184910
Price: 551.58 RON
Availability: InStock

Autor: Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille

Limbă:

Legare: Carte broșată

Editura: Springer

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

551.58 lei

Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms...

Informații despre carte

Autor

Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

192

EAN

9789048184910

ISBN

9048184916

Enbook ID

01976557

Editura

Springer

Greutate

320

Dimensiuni

155 x 235 x 12

Descriere completă

Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Test Pattern Generation using Boolean Proof Engines

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și