000 00352nam a2200121Ia 4500
100 _aBowman, Howard (ed)
020 _a0-521-77184-6
942 _cBK
245 _aFormal methods for distributed processing : a survey of object-oriented approaches
260 _aCambridge University Press, New York
_c2001
082 _a001.642 Bow/Der
300 _ax,480
999 _c30224
_d30224