| 000 | 00679pam a2200217a 44500 | ||
|---|---|---|---|
| 008 | 150502b2009 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9788132204510 | ||
| 040 |
_cBITS Pilani Hyderabad _aBITS Pilani Hyderabad |
||
| 041 | _aENG | ||
| 082 | _a005.14 LAS-J | ||
| 100 | _aLaski, Janusz | ||
| 245 |
_aSoftware verification and analysis : an integrated, hands-on approach / _cJanusz Laski and William Stanley |
||
| 260 |
_aNew Delhi _bSpringer _c2009 |
||
| 300 | _a224 p. | ||
| 365 |
_aINR _b299.00. |
||
| 650 | _aComputer software --Verification. | ||
| 700 | _aStanley, William.,jt.auth. | ||
| 907 | _a 005.14 LAS-J | ||
| 908 | _a Stanley, William.,jt.auth. | ||
| 942 | _2ddc | ||
| 999 |
_c1652 _d1652 |
||