Sale Quick view Add to Cart Introduction To Static Analysis: An Abstract Interpretation Perspective $67.69 $61.57 MIT Press Ltd