000			00437nam a2200145 454500
999			_c27069 _d27069
008			160319b2006. xxu||||| |||| 00| 0 eng d
020			_a9788120331709
082			_a005.1 JAC
100			_aJackson, Daniel. ,
245			_aSoftware abstractions : logic, language and analysis
260			_aNew Delhi _bPHI Learning _c2006.
300			_axvi, 350 p.: _bill. ; _c24 cm. .
500			_aFormerly CIP.
942			_2ddc _cTD