000 00680nam a2200193Ia 4500
001 23707
008 180118s9999||||xx |||||||||||||| ||eng||
020 _a0521771846
040 _aTULIB
_cTULIB
041 _aeng
082 _a05.117 FOR
100 _aBowman,Howard
245 0 _aFormal methods for distributed processing;a survey of object -oriented approache /
_cBowman,Howard.
260 _aCambridge:
_bCambridge University Press,
_c2001.
300 _avii,480p;26cm
504 _aIncludes bibliographical references.
942 _cBK
999 _c16495
_d16495