| 000 | 01123cam^a22003494a^4500 | ||
|---|---|---|---|
| 001 | UDM01000115894 | ||
| 003 | UDM | ||
| 005 | 20210531130112.0 | ||
| 008 | 071105s2006^^^^maua^^^^^b^^^^001^0^eng^^ | ||
| 020 | _a0262101149 | ||
| 020 | _a9780262101141 | ||
| 040 |
_aDLC _cDLC _dUKM _dBAKER _dC#P _dIXA _dCOO _dNLGGC _dIG# _dYDXCP _dOCLCQ _dBTCTA _dQ3H _dUN@ |
||
| 082 | 0 | 4 |
_a005.1 _bJ12s 2006 |
| 100 | 1 |
_9224996 _aJackson, Daniel, _eautor |
|
| 245 | 1 | 0 |
_aSoftware abstractions : _blogic, language and analysis / _cDaniel Jackson. |
| 264 | 3 | 1 |
_aCambridge, Mass. : _bMIT Press, _cc2006. |
| 300 |
_axvi, 350 páginas : _bilustraciones |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_ano mediado _bn _2rdamedia |
||
| 338 |
_avolumen _bnc _2rdacarrier |
||
| 504 | _aIncluye bibliografía (p. [333]-339). | ||
| 650 | 1 | 4 |
_964908 _aProgramación (Computadores electrónicos) _xDesarrollo. |
| 942 |
_2ddc _cGEN |
||
| 991 |
_aC0 _bUN@ |
||
| 991 | _aSI | ||
| 997 |
_aHZ _b00 _c20140722 _lUDM01 _h1023 |
||
| 998 |
_aBATCH _b00 _c20140911 _lUDM01 _h0519 |
||
| 999 |
_c104344 _d104344 |
||
| 900 | _aDSÑ | ||
| 900 | _aAYN | ||
| 900 | _aTC | ||