00797nam a2200217 4500 BD-DhGUBL 20250927145942.0 250721s2012 uk a|||| |||| 001 0 eng d 9781848213203 (Print) 9781118602867 (Online) BD-DhGUBL BD-DhGUBL BD-DhGUBL Boulanger, Jean-Louis Static Analysis of Software : The Abstract Interpretation / Jean-Louis Boulanger London (UK) : ISTE, C 2012 Xi, 340 p. : ill. Includes bibliographical references and index. Computer software Testing Computer science Debugging https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118602867?download=true Click here to download ddc BK 4945 4945