| 000 | 01275nam a2200361 a 4500 | ||
|---|---|---|---|
| 005 | 20250918172205.0 | ||
| 008 | 130109s1979 gw m b a001 0 engm | ||
| 010 | _a79-24745 | ||
| 020 | _a0387097244 (pbk.) | ||
| 035 | _a5726414 | ||
| 039 | 9 |
_y01-09-2013 _zzabidah |
|
| 040 |
_aDLC _dUKM |
||
| 090 | _aQA9.59.G677[00008033648] | ||
| 090 |
_aQA9.59 _b.G677 |
||
| 100 | 1 |
_aGordon, Michael J. C., _d1948- |
|
| 245 | 1 | 0 |
_aEdinburgh LCF : _ba mechanised logic of computation / _cMichael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. |
| 260 |
_aBerlin : _bSpringer-Verlag, _c1979. |
||
| 300 |
_aviii, 159 p. ; _c24 cm. |
||
| 490 | 1 |
_aLecture notes in computer science _v78. |
|
| 504 | _aIncludes bibliographical references (p. [153]-157) and index. | ||
| 650 | 0 | _aEdinburgh LCF (Computer system). | |
| 650 | 0 |
_aComputable functions _xData processing. |
|
| 700 | 1 |
_aMilner, R. _q(Robin), _d1934- |
|
| 700 | 1 | _aWadsworth, Christopher P. | |
| 830 | 0 |
_aLecture notes in computer science _v78. |
|
| 907 |
_a.b15555793 _b2019-11-12 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA9.59.G677[00008033648] |
||
| 914 | _avtls003521437 | ||
| 990 | _aza | ||
| 991 | _aFakulti Sains dan Teknologi | ||
| 998 |
_at _b2013-09-01 _cm _da _feng _ggw _y0 _z.b15555793 |
||
| 999 |
_c538522 _d538522 |
||