000 00399nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0521771846
082 _a621.3819642 B787
100 _aBOWMAN,H
245 0 _aFORMAL METHODS FOR DISTRIBUTED PROCESSING:SURVEY OF OBJECT ORIENTED APPROACHES
260 _aNEW YORK
_bCambridge University Press
_c2001
300 _ax+26X18Cms.
942 _cBK
_2DDC
999 _c29223
_d29223