| 000 | 01569cam a22003734a 4500 | ||
|---|---|---|---|
| 001 | 14148458 | ||
| 003 | NUST-PNEC | ||
| 005 | 20170116180730.0 | ||
| 008 | 051021m20069999gw a b 001 0 eng d | ||
| 010 |
_a 2005936100 _z 2006921809 _z 2006920552 |
||
| 020 | _a9788181287854 | ||
| 020 | _a3540211500 (v. 2) | ||
| 035 | _a(CStRLIN)ILCGHZ5899799-B | ||
| 035 | _a(ICU)hz5899799 | ||
| 040 |
_aOHX _cPNEC _dBAKER _dNIC _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.758 _b.B56 2006 |
| 082 | 0 | 0 |
_a005.1 BJO _222 |
| 100 | 1 |
_aBjorner, Dines _q(Dines), _d1937- _9975 |
|
| 245 | 1 | 0 |
_aSoftware engineering 2/ _cD. Bjørner. |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _c2006- |
||
| 300 |
_a777 p. : _bill. ; _c24 cm. |
||
| 440 | 0 | _aTexts in theoretical computer science | |
| 504 | _aIncludes bibliographical references and indexes. | ||
| 505 | 1 | _a1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design. | |
| 650 | 0 |
_aSoftware engineering. _xComputer, MIS |
|
| 650 | 0 | _aComputer programming. | |
| 856 | 4 | 2 | _uhttp://www.amazon.com/Software-Engineering-Specification-Languages-Theoretical/dp/3540211500/ref=sr_1_1?s=books&ie=UTF8&qid=1415963349&sr=1-1&keywords=3540211500 |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c61768 _d61768 |
||