| 000 | 00405nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 160910s9999 xx 000 0 und d | ||
| 020 | _a8-1812-8483-6 | ||
| 040 | _cSGVU Library | ||
| 041 | _cEnglish | ||
| 100 | _aHachtel, G D | ||
| 245 |
_aLogic Synthesis & Verification Algorithms _cby G D Hachtel |
||
| 260 |
_bSpringer _c2006 |
||
| 520 | _aEngineering | ||
| 650 | _aComputer & IT | ||
| 942 | _cBOOKS | ||
| 999 |
_c16616 _d16616 |
||