| 000 | 00498nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 210901s2009 xx 000 0 eng d | ||
| 020 | _a9788132204510 | ||
| 082 | _a681.3.06 LAS | ||
| 100 | _aLaski Janusz | ||
| 245 | 0 | _aSoftware Verification and Analysis an Integrated Hands on Approach | |
| 250 | _a1 | ||
| 260 |
_aNew Delhi _bSpringer _c2009 |
||
| 300 | _a224p. | ||
| 440 | _aUG_BE *DPT_CSE **ADDVOL2021-22 | ||
| 650 | _aSoftware Engineering | ||
| 700 | _aStanley William | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c216 _d216 |
||