| 000 | 01578nmm a22003855u 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 100301s2002 xx s j eng d | ||
| 020 | _a9780306470035 | ||
| 040 |
_aUCA _cUCA |
||
| 100 | 1 | _aKim, Myungchul. | |
| 245 | 1 | 0 |
_aFormal Techniques for Networked and Distributed Systems _h[Recurso electrónico] : _bFORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / _cedited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee. |
| 260 |
_aBoston, MA : _bKluwer Academic Publishers, _c2002. |
||
| 300 | _bv.: digital | ||
| 490 | 0 | 0 |
_aIFIP International Federation for Information Processing, _x1571-5736 ; _v69 |
| 506 | _aRestringido a usuarios de la UCA | ||
| 538 | _aModo de acceso: World Wide Web | ||
| 650 | 0 | 0 | _aComputer science |
| 650 | 0 | 0 | _aSoftware engineering |
| 650 | 0 | 0 | _aElectronic data processing |
| 650 | 0 | 0 | _aComputer Science |
| 650 | 0 | 0 | _aComputing Methodologies |
| 650 | 0 | 0 | _aProcessor Architectures |
| 650 | 0 | 0 | _aSoftware Engineering/Programming and Operating Systems |
| 650 | 0 | 0 | _aElectronic and Computer Engineering |
| 700 | 1 | _aChin, Byoungmoon. | |
| 700 | 1 | _aKang, Sungwon. | |
| 700 | 1 | _aLee, Danhyung. | |
| 710 | 2 | _aSpringerLink (Online service) | |
| 740 | 0 | _aSpringerLink e-books (Servicio en línea) | |
| 773 | 0 | _gSpringer eBooks | |
| 856 | 4 | 0 |
_uhttp://dx.doi.org/10.1007/b116730 _zTexto completo |
| 909 |
_binter _c- |
||
| 942 | _n0 | ||
| 998 |
_b0 _c110523 _de _ey _f- _g0 |
||
| 999 |
_c876409 _d876409 |
||