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 |