| 000 | 00585nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 210916s9999 xx 000 0 und d | ||
| 020 | _a9788132204510 | ||
| 082 |
_a005.1 _bLAS |
||
| 100 |
_aLaski, Janusz, _94688 |
||
| 245 | 0 |
_aSoftware verification and analysis : _ban integrated, hands-on approach |
|
| 260 |
_aNew Delhi _bSpringer _c2009 |
||
| 300 | _a224p. | ||
| 650 |
_aComputer software--Verification _94689 |
||
| 650 |
_aSoftware engineering _9907 |
||
| 650 |
_aComputer science _9400 |
||
| 650 |
_aComputer programming _9416 |
||
| 700 |
_aStanley, William _94690 |
||
| 942 | _cBK | ||
| 999 |
_c6742 _d6742 |
||