| 000 | 01066nam a2200289Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20220912151201.0 | ||
| 006 | a|||||r|||| 00| 0 | ||
| 007 | ta | ||
| 008 | 220909b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0387950923 (hbd) | ||
| 024 | _a9509 | ||
| 037 | _bOverseas, | ||
| 037 | _cTextual | ||
| 040 |
_aCSL _beng _cCSL |
||
| 041 | _aeng | ||
| 082 | _aD65,8(B):51, P1 | ||
| 100 | _aYing Mingsheng | ||
| 245 | 0 | _aTopology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying | |
| 260 |
_aNew York _b Springer-Verlag _c2001 |
||
| 300 | _aviii, 220p | ||
| 500 | _aBibliographical references 213-218p; Index 219-220p; ^n23/CSL/B/2002-2003/204^d2002-07-15^mPurchase; ; 2002-03/143^b2002-08-13^c2125^d2002-08-05^eRs.9,606.00^fOverseas Press (India)Pvt. Ltd.; ; 2002-10-08^bSB^c2003-07-04^dRPS | ||
| 650 | _a Parallel processing | ||
| 650 | _aComputer science | ||
| 942 |
_hD65,8(B):51, P1 _cTEXL _2CC |
||
| 999 |
_c63010 _d63010 |
||