000 00528nam a2200181Ia 4500
001 23626
008 180118s9999||||xx |||||||||||||| ||eng||
020 _a0387950923
040 _aTULIB
_cTULIB
041 _aeng
082 _a004.35 YIN
100 _aYing,Mingsheng
245 0 _aTopology in process calculus /
_cYing,Mingsheng.
260 _aNew York:
_bSpringer,
_c2001.
300 _aviii,220p;24cm
504 _aIncludes bibliographical references.
942 _cBK
999 _c16431
_d16431