000 01116nam a2200325Ia 4500
003 OSt
005 20220912145337.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a9781420064865 (hbd)
024 _a84479
037 _b1134, 23/09/2010, Ashutosh Technical Books
037 _cTextbook
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):52, P9 TD
100 _aAlexander Michael Ed.
245 0 _aProcess algebra for parallel and distributed processing
260 _aBoca Raton
_bCRC Pres
_c2009
300 _axxii, 415p.
_ccm.
490 _aChampman and Hall/CRC computational science series
500 _aIncludes bibliographical references.; Index 403-415p.
650 _a Electronic data processing-distributed processing
650 _a Formal methods
650 _aParallel processing
700 _a Gardner William Ed.
942 _hD65,8(B):52, P9 TD
_cTB
_2CC
999 _c29421
_d29421