| 000 | 00480nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 241209s9999 xx 000 0 und d | ||
| 020 | _a412583402 | ||
| 040 | _aJamia Hamdard | ||
| 041 | _aEnglish | ||
| 082 |
_a005.1 _bC67S |
||
| 100 | _aCoward, David | ||
| 245 | 4 |
_aThe Symbolic execution of software _cDavid Coward and Darrel Ince. |
|
| 260 |
_aMadras _bChapman and Hall _c1995 |
||
| 300 | _avi, 155p. | ||
| 440 | _a (Computer science: research and practice). | ||
| 942 | _cBK | ||
| 999 |
_c34272 _d34272 |
||