000 | 00938cam a22003137a 4500 | ||
---|---|---|---|
001 | 16065399 | ||
008 | 100122s2010 enka b 001 0 eng | ||
010 | _a 2010275481 | ||
015 |
_aGBA964672 _2bnb |
||
016 | 7 |
_a015302175 _2Uk |
|
020 | _a9780521820493 (hbk.) | ||
020 | _a0521820499 (hbk.) | ||
035 | _a(OCoLC)ocn318871880 | ||
040 | _cUKM | ||
042 | _alccopycat | ||
082 | 0 | 4 |
_a512.5 _bBAE-P |
100 | 1 | _aBaeten, J. C. M. | |
245 | 1 | 0 |
_aProcess Algebra : _cJ.C.M. Baeten, T. Basten, M.A. Reniers. |
260 |
_aCambridge _aNew York _bCambridge University Press, _c2010 |
||
300 |
_axvi, 460 p. _bill. ; _cM, HBK |
||
490 | 1 |
_aCambridge tracts in theoretical computer science ; _v50 |
|
504 | _aIncludes bibliographical references and indexes. | ||
546 | _aEnglish | ||
650 | 0 | _aMathematics | |
650 | 0 | _aElectronic data processing | |
710 | _aT. Basten | ||
710 | _aM.A. Reniers | ||
942 |
_2ddc _cBK |
||
999 |
_c27208 _d27208 |