000 00622nam a22001817a 4500
005 20241115161301.0
008 241115b ||||| |||| 00| 0 eng d
040 _cAIMIT LIBRARY
082 _a005.368
_bBJOD
100 _aBjorner, D.
_9185588
245 _aSoftware engineering 3:
_bdomains requirements and software design /
_cBy D. Bjorner.
260 _aNew Delhi :
_bSpringer India Pvt Ltd,
_c2007.
300 _axxx,766 p.;
_bHB
_c24.5 cm.
650 _aConceptual framework
_9185589
650 _aOn defining and on definitions
_9185590
650 _2Jacksons descrition principles
942 _2ddc
_cBK
_k005.368 BJOD
999 _c231933
_d231933