000 00512nam a2200205 a 4500
001 CS96000001
003 imported from koha2.9 by LV-1524
005 20160322165100.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
040 _CS
245 _aFormal metods for open object based distributed systems
100 _aHoward Bowman , John derrick
500 _a
942 _cBK
020 _a0-412-82040-4
260 _a
_bChapman & Hall
_c1997
300 _a470
082 _a004.72
250 _a
999 _c153573
_d153573