Radhia Cousot – författare

Visar alla böcker från författaren Radhia Cousot.

4 produkter

1. 

   Verification, Model Checking, and Abstract Interpretation

   6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

   Av Radhia Cousot

   Häftad, 2005

   739 kr

   Lägg i varukorg

2. 

   Static Analysis

   10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

   Av Radhia Cousot

   Häftad, 2003

   739 kr

   Lägg i varukorg

3. 

   Static Analysis

   Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

   Av Radhia Cousot, David A. Schmidt

   Häftad, 1996

   739 kr

   Lägg i varukorg

4. 

   Static Analysis

   17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

   Av Radhia Cousot, Matthieu Martel

   Häftad, 2010

   739 kr

   Lägg i varukorg