8 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Radhia Cousot

  1. Cover: Static Analysis - Springer
    Radhia Cousot | Matthieu Martel
    Static Analysis
    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    09/2010
    Springer
    9783642157691 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Static Analysis - Springer
    Radhia Cousot | Matthieu Martel
    Static Analysis
    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    09/2010
    1st EDN1st Edition
    Springer
    9783642157684 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  3. Cover: Static Analysis - Springer
    Radhia Cousot
    Static Analysis
    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    08/2003
    Springer
    9783540448983 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Static Analysis and Verification of Aerospace Software by Abstract Interpretation - now publishers Inc
    Julien Bertrane | Patrick Cousot | Radhia Cousot
    Static Analysis and Verification of Aerospace Software by Abstract Interpretation
    12/2015
    1st EDN1st Edition
    now publishers Inc
    9781601988560 (ISBN)
    Book
    Paperback/Softback
    €84.00
    Shipment within 10-20 days
  5. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Radhia Cousot
    Verification, Model Checking, and Abstract Interpretation
    6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    01/2005
    Springer
    9783540242970 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Static Analysis - Springer
    Radhia Cousot
    Static Analysis
    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    05/2003
    Springer
    9783540403258 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Static Analysis - Springer
    Radhia Cousot
    Static Analysis
    01/2014
    Springer
    9783662186183 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  8. Cover: Static Analysis - Springer
    Radhia Cousot | David A. Schmidt
    Static Analysis
    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    09/1996
    Springer
    9783540617396 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days