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

Your search for Antoine Mine

  1. Cover: Static Analysis - Springer
    Antoine Mine | David Schmidt
    Static Analysis
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    08/2012
    Springer
    9783642331251 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Static Analysis - Springer
    Antoine Mine | David Schmidt
    Static Analysis
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    08/2012
    Springer
    9783642331244 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  3. 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
  4. Cover: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - now publishers Inc
    Antoine Mine
    Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
    12/2017
    now publishers Inc
    9781680833867 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Not available