000 00736cam a2200277ua 4500
001 38330
005 20171214165235.0
007 ta
008 101223s2006 De a g b000 u eng u
020 _cRS325.00 (PBK)
040 _aMAIN
041 1 _aeng
_hNULL
044 _aDe
082 1 4 _a005.1
_bJAC/S
100 1 _aJackson, Daniel.
245 1 0 _aSoftware abstractions : logic, language, and analysis /
_cby Daniel Jackson.
250 _a /
_b.
260 _aNew Delhi :
_bPrentice Hall of India ,
_c2006.
300 _axvi,350p. :
_bills. figs ;
_c2ocm .
365 _aRS325.00
504 _aIncludes Index
653 0 _aCOMPUTER SOFTWARE-DEVELOPMENT
942 _cBK
999 _c38007
_d38007