| 000 | 00820nam a22002417a 4500 | ||
|---|---|---|---|
| 001 | sulbI000397 | ||
| 003 | BD-SySUS | ||
| 005 | 20160522125127.0 | ||
| 008 | 160522s1990 nyua 001 0 eng | ||
| 020 | _a0387969578 (alk. paper) | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-SySUS |
||
| 082 | 0 | 0 |
_a511.3 _222 _bDIP |
| 100 | 1 |
_aDijkstra, Edsger Wybe. _924364 |
|
| 245 | 1 | 0 |
_aPredicate calculus and program semantics / _cEdsger W. Dijkstra, Carel S. Scholten. |
| 260 |
_aNew York : _bSpringer-Verlag, _cc1990. |
||
| 300 |
_ax, 220 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aTexts and monographs in computer science _924365 |
|
| 500 | _aIncludes index. | ||
| 650 | 0 |
_aPredicate calculus. _924366 |
|
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. _924341 |
|
| 700 | 1 |
_aScholten, Carel S. _924367 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c60558 _d60558 |
||