Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Görschwin FeyRolf DrechslerStephan EggersglüßDaniel Tille
Test Pattern Generation using Boolean Proof Engines
2009ISBN 9789048123599
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra