| 000 | 01024nam a2200289zi 4500 | ||
|---|---|---|---|
| 003 | $$aDLC | ||
| 005 | 20210817122832.0 | ||
| 008 | 981118s1998 enka b 001 0 eng | ||
| 020 | _a3540761586 (rustica : papel libre de acido) | ||
| 035 | _aMX001000814593 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aENG | ||
| 050 | 0 | 0 |
_aQA76.9H85 _bF674 |
| 082 | 0 | 0 |
_a004/.01/9 _221 |
| 245 | 0 | 0 |
_aFormal methods in human-computer interaction / _cPhilippe Palanque and Fabio Paterno, eds. |
| 300 |
_axvii, 376 páginas : _bilustraciones ; |
||
| 490 | 0 | _aFormal approaches to computing and information technology | |
| 504 | _aIncludes bibliographical references (p. [347]-361) and indexes. | ||
| 650 | 0 | _aInteracción hombre-computadora | |
| 700 | 1 |
_aPalanque, Philippe, _d1966- , _eeditor |
|
| 700 | 1 |
_aPaterno, Fabio, _d1960- , _eeditor |
|
| 264 | 1 |
_aLondon : _bSpringer Verlag, _cc1998 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c30871 _d30871 |
||