| 000 | 00542nam a2200217Ia 4500 | ||
|---|---|---|---|
| 005 | 20260110150928.0 | ||
| 020 | _a9780857290175 | ||
| 041 | _aEnglish | ||
| 082 | _a005.3 ALM | ||
| 100 | _aALMEIDA AND ETC | ||
| 111 | _aNO | ||
| 245 | _aRIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION | ||
| 260 |
_bSPRINGER _c2011 |
||
| 300 |
_a263 _b25 _fPaper |
||
| 365 |
_b3121.04 _dRupees |
||
| 366 | _ePURCHASE | ||
| 541 |
_aALLIED _d21-12-2013 _cSupplier |
||
| 652 | _aSOFTWARE | ||
| 852 | _aCENTRAL LIBRARY | ||
| 942 | _cBK | ||
| 999 |
_c52960 _d52960 |
||