Hardback
Add to list Added to list Introduction to Static Analysis: An Abstract Interpretation Perspective
Xavier Rival (Research Director, INRIA Paris-Rocquencourt),Kwangkeun Yi (Professor, Seoul National University)
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
Available to order, ships in approx 2 weeksAvailable to order