| 000 | 00623nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 141108s9999 xx 000 0 und d | ||
| 020 | _a9788184893960 | ||
| 041 | _aEnglish | ||
| 082 | _a515 BRA | ||
| 100 | _aBRADLEY AND MANNA | ||
| 111 | _aNO | ||
| 245 | _aCALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERTIFICATION | ||
| 260 |
_bSPRINGER _c2010 |
||
| 300 |
_a366 _b25 _fPaper |
||
| 365 |
_b599.00 _dRupees |
||
| 366 | _ePURCHASE | ||
| 541 |
_aNATIONAL _d27-03-2010 _cSupplier |
||
| 563 | _aPaper Pack | ||
| 590 | _aUG | ||
| 652 | _aCALCULUS | ||
| 852 | _aCENTRAL LIBRARY | ||
| 942 | _cBK | ||
| 999 |
_c31805 _d31805 |
||