| 000 | 01251nam a2200301zi 4500 | ||
|---|---|---|---|
| 005 | 20220303112441.0 | ||
| 008 | 020111c 2001gw 000 0 eng d | ||
| 020 | _a3540418652 | ||
| 035 | _aMX001000905694 | ||
| 041 | _aSPA | ||
| 050 | 4 |
_aQA76.9S88 _bI58 2001 |
|
| 111 | 2 |
_aTACAS'2001 _n(7 : _d2001 : _cGenova , Italia) |
|
| 245 | 1 | 0 |
_aTools and algorithms for the construction and analysis of systems / _cTiziana Margarita, Wang Yi, (eds.) |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2001 |
|
| 300 | _a588 páginas | ||
| 490 | 0 |
_aLecture notes in computer science, _v2031 |
|
| 500 | _aSubtitulo :7th International Conference, TACAS'2001 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, april 2-6, 2001, proceedings | ||
| 650 | 4 |
_aDiseño de sistemas _vCongresos |
|
| 650 | 4 |
_aSoftware para computadora _xDesarrollo _vCongresos |
|
| 650 | 4 |
_aProcedimiento electronico de datos _xMultiproceso _vCongresos |
|
| 700 | 1 |
_aMargarita, Tiziana, _eeditor |
|
| 700 | 1 |
_aYi, Wang, _eeditor |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c3290 _d3290 |
||