| 000 | 00431nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 160910s9999 xx 000 0 und d | ||
| 020 | _a0-5216-7089-0 | ||
| 040 | _cSGVU Library | ||
| 041 | _cEng. | ||
| 100 | _aHutch, Michael | ||
| 245 |
_aLogic in Computer Science Modeling & Reasoning Abortsy _cby Hutch Michael |
||
| 260 |
_bCambridge uni. Press _c2007 |
||
| 520 | _aEngineering | ||
| 650 | _aComputer & IT | ||
| 942 | _cBOOKS | ||
| 999 |
_c12622 _d12622 |
||