Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642157684 - September 9, 2010
In case cover and title do not match, the title is correct

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science

Radhia Cousot

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science

Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis.

473 pages, 131 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 9, 2010
ISBN13 9783642157684
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 473
Dimensions 155 × 231 × 25 mm   ·   725 g
Language French  
Editor Cousot, Radhia
Editor Martel, Matthieu
Show all

More by Radhia Cousot

See all of Radhia Cousot ( e.g. Paperback Book )