000 00617nam a22002417a 4500
003 OSt
005 20180912235107.0
008 090503t xxu||||| |||| 00| 0 eng d
020 _a9788120331709
040 _auniversity
_bEnglish
_cUniversity
041 _a
082 _a005.1 JAC(SOF)
100 _aDaniel, Jackson
245 _aSoftware abstractions: logic, language and analysis
250 _a
260 _bPrentice Hall Of India Pvt.Ltd.
_c2007
440 _a
300 _a350
500 _a
518 _aMD/1/0405/2009-10/21-08-09
650 _aCOMPUTER SOFTWARE - DEVELOPMENT
942 _2ddc
_cBK
999 _c7876
_d7876