| 000 | 01090nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | 000512825 | ||
| 003 | OCoLC | ||
| 005 | 20240105144944.0 | ||
| 008 | 061020s2006 gw a b 001 0 eng d | ||
| 020 |
_a3540211500 : _c962.40 |
||
| 024 | 3 | _a9783540211501 | |
| 035 | _a321507 | ||
| 040 |
_aSLY _bspa _cBAKER _dUIASF |
||
| 050 | 4 |
_aQA 76.758 _bB56.2006 |
|
| 082 | 0 | 4 |
_a005.1 _222 |
| 100 | 1 |
_aBjørner, D. _q(Dines), _d1937- |
|
| 245 | 1 | 0 |
_aSoftware engineering . _n2 , _pSpecification of systems and languages / _cD. Bjorner. |
| 246 | 3 | 0 | _aSpecification of systems and languages |
| 260 |
_aBerlin : _bSpringer-Verlag , _c2006 |
||
| 300 |
_axxiv, 777 p. : _bil. ; _c24 cm. |
||
| 440 | 0 |
_aTexts in theoretical computer science . _pAn EATCS series |
|
| 504 | _aIncluye referencias bibliográficas (p. [751]-777) e índices. | ||
| 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 |
_c482917 _d482917 |
||
| 980 |
_851 _gRonald RUIZ |
||