| 000 | 01212nam a2200289zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131624.0 | ||
| 008 | 070418s2006 gw a 100 0 eng d | ||
| 020 | _a3540341455 (rústica) | ||
| 020 | _a9783540341451 (rústica) | ||
| 035 | _aMX001001098017 | ||
| 040 |
_aOHX _bspa _cOHX _dBAKER _dCUS _dZCU _dOCLCQ _dIXA _dC$Q _dYDXCP _dUNAMX |
||
| 050 | 4 |
_aQA76.9I58 _bD78 2005 |
|
| 111 | 2 |
_aDSVIS 2005 _d(2005 : _cNewcastle upon Tyne, Inglaterra) |
|
| 245 | 1 | 0 |
_aInteractive systems : _bdesign, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / _cStephen W. Gilroy, Michael D. Harrison, eds. |
| 246 | 3 | 0 | _aDSVIS 2005 |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2006 |
|
| 300 |
_axi, 263 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v3941 |
|
| 650 | 0 |
_aComputadoras _xSistemas de interacción _vCongresos |
|
| 700 | 1 |
_aGilroy, Stephen W., _eeditor |
|
| 700 | 1 |
_aHarrison, Michael D., _eeditor |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c18397 _d18397 |
||