| 000 | 00831nam a2200241 a 4500 | ||
|---|---|---|---|
| 008 | 981208s1990 gw 00 eng | ||
| 020 | _a0387969578 | ||
| 040 | _aUKM | ||
| 090 |
_aQ9.35 _b.D55 |
||
| 100 | 1 | _aDijkstra, Edsger Wybe. | |
| 245 | 1 | 0 |
_aPredicate calculus and program semantics / _cEdsger W. Dijkstra, Carel S. Scholten. |
| 260 |
_aNew York : _bSpringer-Verlag, _c1990. |
||
| 300 |
_a220 p. ; _c24 cm. |
||
| 440 | _aTexts and monographs in computer science | ||
| 650 | 0 | _aPredicate calculus. | |
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. |
|
| 700 | 1 | _aScholten, Carel S. | |
| 907 |
_a.b11842477 _b2021-06-18 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQ9.35 .D55 |
||
| 914 | _avtls000190606 | ||
| 991 | _aFakulti Sains Matematik | ||
| 998 |
_at _b1999-05-08 _cm _da _feng _ggw _y0 _z.b11842477 |
||
| 999 |
_c185840 _d185840 |
||