| 000 | 00668nam a2200253Ia 4500 | ||
|---|---|---|---|
| 001 | 17015 | ||
| 003 | AVIT | ||
| 005 | 20211120082152.0 | ||
| 008 | 020502s1995 ||||||||||||||||| ||und|d | ||
| 020 | _cINR 282.00 | ||
| 024 |
_2[Excel file from AVIT] _a36806 _qserial no |
||
| 040 |
_aAVIT _cIN-KoLT |
||
| 100 |
_aCoward, David _eaut |
||
| 245 | 0 |
_aSymbolic Execution Of Software _bSym Bol System _cCoward, David; Darrel Ince |
|
| 250 | _a1ST ED | ||
| 260 |
_bCHAPMAN & HALL _c1995 |
||
| 650 | _aComputer Science | ||
| 653 | _acoward, david | ||
| 653 | _adarrel ince | ||
| 653 | _aOthers | ||
| 653 | _asymbolic | ||
| 700 |
_aDarrel Ince _eaut |
||
| 942 |
_2dcc _cBK |
||
| 999 |
_c72723 _d72723 |
||