Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings 2012 Edition (Lecture Notes in Computer Science / Programming and Software)Mine, AntoinePaperback3642331246 /
9783642331244		08/2012$52.24
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)Miné, AntoinePaperback1680833863 /
9781680833867		02/2018$94.05
  (2 items found)