| 000 | 01391 a2200397 4500 | ||
|---|---|---|---|
| 001 | 54072 | ||
| 999 |
_c54072 _d18039 |
||
| 003 | TR-AnTOB | ||
| 005 | 20200505115809.0 | ||
| 008 | 110622m2006 gw a b 001 0 d | ||
| 020 | _a3540211519 (v. 3 : cloth) | ||
| 020 | _a3540211500 (v. 2 : cloth) | ||
| 020 | _a3540211497 (v. 1 : hd.bd.) | ||
| 035 | _a54072 | ||
| 040 |
_aOHX _cOHX _dBAKER _dBGU _dUAF _dCUS _dUtOrBLW |
||
| 041 | _aeng | ||
| 050 |
_aQA76.758 _b.B56 2006 |
||
| 090 | _aQA76.758 .B56 2006 | ||
| 100 |
_aBj²rner, D., _q(Dines), _d1937- _928849 |
||
| 245 | 0 |
_aSoftware engineering / _cD. Bj²rner. |
|
| 264 | 1 |
_aBerlin ; _aNew York : _bSpringer, _c2006 |
|
| 300 |
_a3 v. : _bill. ; _c24 cm |
||
| 490 | 0 | _aTexts in theoretical computer science | |
| 500 | _aTextbook for graduates | ||
| 500 | _a"With 151 Figures and 27 Tables." | ||
| 504 | _aIncludes bibliographical references and index | ||
| 505 |
_g1. _g2. _g3. _tAbstraction and modelling -- _tSpecification of systems and languages -- _tDomains, requirements, and software design |
||
| 650 |
_aSoftware engineering _9864 |
||
| 650 |
_aYazılım mühendisliği _97990 |
||
| 650 |
_aFormal methods (Computer science) _92255 |
||
| 650 |
_aBiçimsel metodlar (Bilgisayar bilimi) _928850 |
||
| 690 |
_aComputer science _vTextbooks. |
||
| 690 |
_aBilgisayar bilimi _vDers kitapları. |
||
| 901 |
_aSDB _b51012017 |
||
| 902 | _a0017110,0017109 | ||
| 942 | _cBK | ||