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