000 01350cam a22003374a 4500
001 12329414
003 IIITD
005 20140701145413.0
008 010228s2001 ne a b 001 0 eng
010 _a 2001023642
020 _a9780444828309
_c0444828303
040 _aDLC
_cDLC
_dDLC
042 _apcc
050 0 0 _aQA267
_b.H335 2001
082 0 0 _a511.3
_221
_bBER-H
100 _aBergstra, J. A.
245 0 0 _aHandbook of process algebra
_cedited by J.A. Bergstra, A. Ponse, S.A. Smolka.
250 _a1st ed.
260 _aNew York :
_bElsevier,
_c2001.
300 _axiv, 1342 p. :
_bill. ;
_c25 cm.
504 _aIncludes bibliographical references and indexes.
650 0 _aMachine theory.
650 0 _aParallel processing (Electronic computers)
700 1 _aPonse, A.
_q(Alban),
_d1955-
700 1 _aSmolka, Scott A.
856 4 1 _3Table of contents only
_uhttp://www.loc.gov/catdir/enhancements/fy0612/2001023642-t.html
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/enhancements/fy0612/2001023642-d.html
906 _a7
_bcbc
_corignew
_d1
_eocip
_f20
_gy-gencatlg
942 _2ddc
_cBK
999 _c6783
_d6783