Sign up to our emails and be the first to know about new releases, special offers and more.
Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!
Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.
Australian Book Retailer of the Year 2021
This volume constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revised full papers presented together…
Available to order, ships in 7-14 daysAvailable to order
Patrick Cousot
An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs –
Available to order, ships in approx 2 weeksAvailable to order
This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA"93), held inPadova, Italy, in September 1993.