| 000 | 01347cam a2200349 a 4500 | ||
|---|---|---|---|
| 005 | 20250930121427.0 | ||
| 008 | 050721r20041992enka b 001 0 eng | ||
| 010 | _a2005-279518 | ||
| 020 | _a0521616107 (pbk.) | ||
| 035 | _a14045944 | ||
| 039 | 9 |
_a200601271606 _bzakir _y01-27-2006 _zzakir |
|
| 040 |
_aDLC _cDLC _dDLC |
||
| 050 | 0 | 0 |
_aQA76.7 _b.M342 2004 |
| 082 | 0 | 0 |
_a005.13 _222 |
| 100 | 1 |
_aManes, Ernest G., _d1943- |
|
| 245 | 1 | 0 |
_aPredicate transformer semantics / _cErnest G. Manes. |
| 250 | _a1st paperback ed. | ||
| 260 |
_aCambridge ; _aNew York : _bCambridge University Press, _c2004 |
||
| 300 |
_a223 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aCambridge tracts in theoretical computer science ; _v33 |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. |
|
| 650 | 0 |
_aComputer science _xMathematics. _959484 |
|
| 907 |
_a.b13664724 _b2019-11-13 _c2019-11-12 |
||
| 942 | _n0 | ||
| 914 | _avtls003320392 | ||
| 906 |
_a7 _bcbc _corigcop _d2 _encip _f20 _gy-gencatlg |
||
| 998 |
_anone _b2006-01-01 _cm _da _feng _genk _y0 _z.b13664724 |
||
| 999 |
_c365143 _d365143 |
||