00847nam a2200241 a 4500001001400000003000700014005001700021008004100038020004300079020004000122040000800162100001800170245010000188260005700288300003500345504006300380650003400443650002400477650002500501650003600526700002100562700002200583vtls000041843KUKTEM20251117150205.0090819t2009    flua   f b    001 0 eng d  a9780849328800 (hardcover : alk. paper)  a0849328802 (hardcover : alk. paper)  aUMP1 aKhedker, Uday10aData flow analysis :btheory and practice /cUday P. Khedker, Amitabha Sanyal, Bageshri Karkare  aBoca Raton, FL :bCRC Press/Taylor & Francis,cc2009  axiii, 386 p. :bill. ;c25 cm.  aIncludes bibliographical references (p. 371-278) and index 0aCompilers (Computer programs) 0aData flow computing 0aSoftware engineering 0aComputer softwarexVerification1 aSanyal, Amitabha1 aKarkare, Bageshri