| 000 | 01067nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | 000512826 | ||
| 003 | OCoLC | ||
| 005 | 20241013211856.0 | ||
| 008 | 061020s2006 gw a b 001 0 eng d | ||
| 020 | _a3540211497 | ||
| 024 | 3 | _a9783540211495 | |
| 035 | _a321506 | ||
| 040 |
_aOL _bspa _cdOL _dUIASF |
||
| 050 | 4 |
_aQA 76.758 _bB57.2006 |
|
| 082 | 0 | 4 |
_a005.1 _222 |
| 100 | 1 |
_aBjørner, D. _q(Dines), _d1937- |
|
| 245 | 1 | 0 |
_aSoftware engineering . _n1, _pAbstraction and modelling / _cD. Bjørner. |
| 246 | 3 | 0 | _aAbstraction and modelling |
| 260 |
_aBerlin : _bSpringer-Verlag , _c2006 |
||
| 300 |
_axxxix, 711 p. : _bil. ; _c24 cm. |
||
| 440 | 0 |
_aTexts in theoretical computer science. _pAn EATCS series |
|
| 504 | _aIncluye referencias bibliográficas e índice. | ||
| 650 | 0 | _aIngeniería de software. | |
| 650 | 4 | _aIngeniería del software | |
| 650 | 0 | _aComputer programming. | |
| 650 | 4 | _aProgramación de computadoras | |
| 905 | _a01 | ||
| 942 | 1 | _cNEWBFXC1 | |
| 999 |
_c482918 _d482918 |
||
| 980 |
_8126340 _g ADMIN1 |
||