00605nam a2200169Ia 4500008004100000020001800041041000800059082001700067100002100084245008600105250000600191260005300197300001200250650002500262999001900287952012900306210716s2007    xx            000 0 und d  a9788120331709  aeng  a005.368 JACD  aJackson, Daniel.  aSoftware abstractions: logic language and analysis.bLogic language and analysis.  a1  aNew DelhibPrentice Hall of India PVt Ltd.c2007  axvi,350  aSoftware Engineering  c191878d191878  001040708MCAaAIMITbAIMITeAthulya Booksg325.00l0o005.368 JACDpMCA11386r2026-05-23 00:00:00v243.75w2021-07-16yBK