000 | 00677 a2200217 4500 | ||
---|---|---|---|
020 | _a7302111863 | ||
082 |
_a005.12 _bIN8S |
||
245 | 1 |
_aSOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS _cINTERNATIONAL WORKSHOP ON SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS (1ST : 2003 A/2003 B : AMSTERDAM/BEIJING |
|
260 |
_a _bTsinghua Univ. Pr., Beijing _c2005 |
||
300 | _aviii,178 | ||
440 |
_aSdm-Ds 1 _v |
||
650 | _aComputer Software -- Development | ||
650 | _aFormal Methods (Computer Science) | ||
700 | _aZhiying,Zhou | ||
700 | _a | ||
700 | _aTilley,Scott | ||
700 | _a | ||
906 | _h0 | ||
964 | _gCIRC | ||
997 | _aA154816 C | ||
999 |
_c468592 _d468592 |