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