| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a186514 | ||
| 020 | _a9780387691671 | ||
| 082 |
_a620.00420285 _b(e-book) |
||
| 100 | _aGanai, Malay K | ||
| 245 |
_aSAT-Based Scalable Formal Verification Solutions [electronic resource] _b _cby Malay K Ganai and Aarti Gupta |
||
| 260 |
_aBoston _bSpringer _c2007 |
||
| 500 | _ahttp://dx.doi.org/10.1007/978-0-387-69167-1 | ||
| 690 | _aComputer-Aided Engineering; Systems engineering; Computer aided design | ||
| 700 | _aGupta, Aarti. | ||
| 999 |
_c173943 _d173943 |
||