| 000 | 00673nam a2200205Ia 4500 | ||
|---|---|---|---|
| 020 | _a0745801099 | ||
| 020 | _a0470209712 | ||
| 041 | _aENG | ||
| 082 |
_a005.13 _bABR |
||
| 245 | 0 |
_aAbstract interpretation of declarative languages / _ceditors by Samson Abramsky , Chris Hankin |
|
| 260 |
_aChichester: _bEllis Horwood Ltd., _c1987. |
||
| 300 |
_a284p.; _bill.; _c22cm |
||
| 440 | _aEllis Horwood series in computer and their applications | ||
| 504 | _aInclude bibliographies reference and index | ||
| 650 | _aComputer programs - validation | ||
| 650 | _aStructured programming | ||
| 700 | _aAbramsky , Samson | ||
| 700 | _aHankin , Chris | ||
| 942 |
_cBK _2ddc |
||
| 999 |
_c15287 _d15287 |
||