| 000 | 00806nam a2200253zi 4500 | ||
|---|---|---|---|
| 005 | 20210817123527.0 | ||
| 008 | 061107s2005 enk 001 0 eng d | ||
| 020 | _a1852338202 (papel alcalino) | ||
| 035 | _aMX001001082895 | ||
| 040 |
_aUNAMX _bspa _cUNAMX _dUNAMX |
||
| 050 | 4 |
_aQA76.76D47 _bC66 2005 |
|
| 082 | 0 | 0 |
_a005.1/4/0151 _221 |
| 100 | 1 |
_aCooke, John, _d1947-, _eautor |
|
| 245 | 1 | 0 |
_aConstructing correct software / _cJohn Cooke |
| 250 | _a2nd ed. | ||
| 300 | _a509 páginas | ||
| 490 | 0 | _aFormal approaches to computing and information technology | |
| 650 | 4 |
_aSoftware para computadora _xDesarrollo |
|
| 264 | 1 |
_aLondon : _bSpringer Verlag, _c2005 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c39498 _d39498 |
||