| 000 | 00876cam a22002774i 4500 | ||
|---|---|---|---|
| 005 | 20260115030849.0 | ||
| 008 | 890627s1990 nyua g 001 0 eng d | ||
| 020 | _a0387969578 (alk. paper) | ||
| 040 |
_aMPL _cMPL _erda |
||
| 041 | 0 | _aara | |
| 082 | 0 | 0 |
_a511.3 _220 |
| 100 | 1 | _aDijkstra, Edsger Wybe | |
| 245 | 1 | 0 |
_aPredicate calculus and program semantics _cEdsger W. Dijkstra, Carel S. Scholten |
| 264 | 0 |
_aNew York _bSpringer-Verlag _cد.ت |
|
| 300 |
_ax, 220 pages _billustrations _c25 سم |
||
| 336 | _aنص | ||
| 337 | _aبدون وسيط | ||
| 338 | _aكتاب | ||
| 490 | 1 | _aTexts and monographs in computer science | |
| 500 | _aIncludes index | ||
| 596 | _a1 | ||
| 650 | 0 | 4 | _aPredicate calculus |
| 650 | 0 | 4 |
_aProgramming languages (Electronic computers) _xSemantics |
| 700 | 1 | _aScholten, Carel S | |
| 991 |
_bc-GenColl _hQA9.35 _i.D55 1990 _tCopy 1 _wBOOKS |
||
| 999 |
_c73999 _d73999 |
||