| 000 | 01346nam a2200397 a 4500 | ||
|---|---|---|---|
| 999 |
_c15468 _d15468 |
||
| 001 | 2316260 | ||
| 003 | OSt | ||
| 005 | 20190807074354.0 | ||
| 008 | 980727s1999 enka b 001 0 eng | ||
| 010 | _a 98039479 | ||
| 015 | _aGB98-V8702 | ||
| 020 | _a9780521658690 | ||
| 024 | _c6438.00 | ||
| 035 | _a(OCoLC)ocm39633907 | ||
| 035 | _a(NNC)2316260 | ||
| 040 |
_aDLC _cAUI _dUKM _dVPI _dNNC |
||
| 050 | 0 | 0 |
_aQA76.59 _b.M55 1999 |
| 082 | 0 | 0 |
_a004.6/2 _221 |
| 100 | 1 |
_aMilner, R. _q(Robin), _d1934-2010. |
|
| 245 | 1 | 0 |
_aCommunicating and mobile systems : the [symbol for pi]-calculus _bthe [symbol for pi]-calculus / _cRobin Milner. |
| 260 |
_aCambridge, [England] ; _aNew York : _bCambridge University Press, _c1999. |
||
| 300 |
_axii;161 p. ; _bill. _c24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 | _aMobile computing. | |
| 650 | 0 | _aTelecommunication systems. | |
| 650 | 0 | _aPi-calculus. | |
| 650 | 4 |
_aComputer networks _xMathematical models. |
|
| 650 | 4 |
_aDigital communications _xMathematical models. |
|
| 650 | 4 |
_aElectronic data processing _xMathematical models. |
|
| 942 |
_2ddc _c001 |
||
| 990 | _aQA | ||