| 000 | 00580pam a2200193a 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 160408bc1989 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0471605395 | ||
| 040 | _cIIT Kanpur | ||
| 041 | _aeng | ||
| 082 |
_a001.6424 _bG952p |
||
| 100 | _aGumb, Raymond D. | ||
| 245 | 1 |
_aProgramming logics _cRaymond D. Gumb _ban introduction to verification and semantics |
|
| 260 |
_aNew York _bJohn Wiley _c1989 |
||
| 300 | _axvii, 334p | ||
| 650 | _aComputer Programs -- Verification | ||
| 650 | _aProgramming Languages (Electronic Computers) -- Semantics | ||
| 942 | _cBK | ||
| 999 |
_c325686 _d325686 |
||