SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions

Malay GanaiAarti Gupta
SAT-Based Scalable Formal Verification Solutions
2007ISBN 9780387691664
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra