000 00472nam a2200157Ia 4500
008 170106s2001||||xx |||||||||||||| ||und||
020 _a521771846
082 _a005.117
_bBOW
100 _aBowman, Howard
245 0 _aFormal Methods for Distributed processing : A Survey of Object-Oriented Approaches
260 _aCambridge
_bCambridge University Press
_c2001
300 _ax, 480 p. ; 26 cm
650 _aComputer Science
700 _a Derrick, John
942 _cBK
999 _c10468
_d10468