| 000 | 00753nam a2200229 a 4500 | ||
|---|---|---|---|
| 001 | 32167 | ||
| 003 | BD-DhUET | ||
| 008 | 050617s2005 gw a b 101 0 eng d | ||
| 020 | _a3540261818 | ||
| 040 |
_aNNC _cNNC _dBD-DhUET |
||
| 082 |
_a005.758 _bINT/2005 |
||
| 111 | 2 |
_aInternational Conference on Formal Methods for Open Object-Based Distributed Systems _n7th. _d15/6/2005 _cAthens, Greece |
|
| 245 | 0 | 0 | _aFormal methods for open object-based distributed systems |
| 260 |
_aNew York _bSpringer _c2005 |
||
| 300 |
_ax,321p. _bill. _c24 cm. |
||
| 490 | 1 | _aLecture notes in computer science | |
| 504 | _aIncludes bibliographies | ||
| 650 | 0 | _aDistributed data bases | |
| 700 | _aSteffen, Martin | ||
| 700 | _aZavattaro, Gianluigi | ||
| 942 | _cPRC | ||
| 999 |
_c32167 _d32167 |
||