| 000 | 00754nam^a2200217zi^4500 | ||
|---|---|---|---|
| 008 | 971112s1997^^^^enk^^^^^^^^^^^000^0^eng^d | ||
| 020 | _a0-412-79770-4 | ||
| 035 | _aMX001000761029 | ||
| 041 | _aSPA | ||
| 050 | 4 |
_aQA76.64 _bF67 |
|
| 245 | 0 | 0 |
_aFormal methods for open object-based distributed systems / _ced. by Elie Najm and Jean-Bernard Stefani |
| 264 | 1 |
_aLondon : _bChapman and Hall, _c1997 |
|
| 300 | _avii, 411 páginas | ||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 650 | 4 | _aProgramación orientada a objetos (Computación) | |
| 650 | 4 |
_aProcesamiento electrónico de datos _xMultiproceso |
|
| 700 | 1 |
_aNajm, Elie, _eeditor |
|
| 700 | 1 |
_aStefani, Jean-Bernard, _eeditor |
|