000 00730cam a2200253ua 4500
001 36956
005 20171214165132.0
007 ta
008 100809s2007 NY a g b000 u eng u
020 _a9783540211518
_cset (acc no) 85170
040 _aMAIN
041 1 _aeng
_hNULL
044 _aNY
082 1 4 _a005.1
_bBJO/S
100 1 _aBjorner, D.
245 1 0 _aSoftware engineering 3 : domains, requirements, and software design /
_cby D. Bjorner.
250 _a /
_b.
260 _aNewYork :
_bSpringer ,
_c2007.
300 _axxiii, 766p. :
_bills. figs ;
_c23cm .
365 _aset (acc no) 85170
504 _aIncludes index and bibliographical reference
653 0 _aCOMPUTER SCIENCE
942 _cBK
999 _c36634
_d36634