| 000 | 00469nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 211115s9999 xx 000 0 und d | ||
| 020 | _a978-81-203-3170-9 | ||
| 041 | _aeng | ||
| 082 |
_aBV _bP6;4 |
||
| 100 | _aJackson, Daniel . | ||
| 245 | 0 |
_aSoftware abstractions: logic, language and analysis / _cby Daniel Jackson. |
|
| 260 |
_aNew Delhi : _bPHI Learning Private Ltd. , _c2006 |
||
| 300 | _a350p : | ||
| 650 | _aComputer- Software abstractions | ||
| 942 | _cTB | ||
| 999 |
_c65958 _d65958 |
||