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

Your search for Xavier Rival

  1. Cover: Static Analysis - Springer
    Xavier Rival
    Static Analysis
    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    09/2016
    Springer
    9783662534137 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Introduction to Static Analysis - MIT Press
    Xavier Rival | Kwangkeun Yi
    Introduction to Static Analysis
    An Abstract Interpretation Perspective
    02/2020
    MIT Press
    9780262356657 (ISBN)
    E-Book
    ePUB
    Other editions
    €73.49
    Available for download
  3. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Kenneth Mcmillan | Xavier Rival
    Verification, Model Checking, and Abstract Interpretation
    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    01/2014
    Springer
    9783642540134 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Static Analysis - Springer
    Xavier Rival
    Static Analysis
    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    08/2016
    Springer
    9783662534120 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Shape Analysis - now publishers Inc
    Bor-Yuh Evan Chang | Cezara Dragoi | Roman Manevich
    Shape Analysis
    10/2020
    now publishers Inc
    9781680837322 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  6. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Kenneth Mcmillan | Xavier Rival
    Verification, Model Checking, and Abstract Interpretation
    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    01/2014
    Springer
    9783642540127 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Introduction to Static Analysis - MIT Press
    Xavier Rival | Kwangkeun Yi
    Introduction to Static Analysis
    An Abstract Interpretation Perspective
    02/2020
    MIT Press
    9780262043410 (ISBN)
    Book
    Hardback
    Other editions
    €89.13
    Shipment within 10-20 days
  8. 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