000 | 01311cam a22003254a 4500 | ||
---|---|---|---|
001 | 11844068 | ||
003 | OSt | ||
005 | 20180301114836.0 | ||
008 | 991117s2000 gw b 001 0 eng | ||
010 | _a 99058786 | ||
020 | _a354066579X (alk. paper) | ||
040 |
_aIISER Bhopal _cIISER Bhopal |
||
042 | _apcc | ||
050 | 0 | 0 |
_aQA267 _b.F64 2000 |
082 | 0 | 0 |
_a005.1 F69I _223 |
100 | 1 |
_aFokkink, Wan _922381 |
|
222 | _aEECS-reference book collection | ||
245 | 1 | 0 |
_aIntroduction to process algebra _cWan Fokkink. |
260 |
_aBerlin : _bSpringer, _cc2000. |
||
300 |
_aviii, 163 p. : _bill. ; _c25 cm. |
||
440 | 0 |
_aTexts in theoretical computer science _922382 |
|
504 | _aIncludes bibliographical references (p. [151]-160) and index. | ||
650 | 0 |
_aMachine theory. _922383 |
|
650 | 0 |
_aParallel processing (Electronic computers) _922384 |
|
856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0816/99058786-d.html |
856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0816/99058786-t.html |
906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
942 |
_2ddc _cBK |
||
999 |
_c8343 _d8343 |