| 000 | 00593nam a2200181 a 4500 | ||
|---|---|---|---|
| 001 | A30009 987 | ||
| 003 | dti | ||
| 005 | 20170506183814.0 | ||
| 008 | s1990 000 0 eng | ||
| 020 | _a0387969578 | ||
| 100 | 1 | _aDijkstra, Edsger W. | |
| 245 | 1 | 0 |
_aPredicate calculus and program semantics / _cby Edsger W. Dijkstra, Carel S. Scholten. |
| 260 |
_aNew York, N.Y. : _bSpringer-Verlag, _c1990. |
||
| 300 | _ax, 220 p. | ||
| 440 | 0 | _aTexts and Monographs in Computer Science. | |
| 650 | 0 |
_aProgramming languages (Electronic omputers) _xSemantics. |
|
| 700 | 1 | _aScholten, Carel S. | |
| 999 |
_c362159 _d362159 |
||