کتاب های Patrick Cousot (auth.)
![Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings](http://cdn.ketabkoo.com/covers/0/70213-n.jpg)
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.), 2005![Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings](http://cdn.ketabkoo.com/covers/1/130824-n.jpg)
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.), 2000![Principles of abstract interpretation](http://cdn.ketabkoo.com/covers/15/1506635-n.jpg)