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

Your search for Corina S. Pasareanu

  1. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Corina S. Pasareanu
    Software Engineering and Formal Methods
    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    12/2021
    Springer
    9783030921248 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    07/2015
    Springer
    9783319216683 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    07/2015
    Springer
    9783319216904 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Symbolic Execution and Quantitative Reasoning - Springer
    Corina S. Pasareanu
    Symbolic Execution and Quantitative Reasoning
    Applications to Software Safety and Security
    05/2022
    Springer
    9783031025518 (ISBN)
    E-Book
    PDF
    Other editions
    €26.74
    Available for download
  5. Cover: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Corina S. Pasareanu
    Software Engineering and Formal Methods
    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    12/2021
    Springer
    9783030921231 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 7-9 days
  6. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    07/2015
    Springer
    9783319216676 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    07/2015
    Springer
    9783319216898 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Symbolic Execution and Quantitative Reasoning - Springer
    Corina S. Pasareanu
    Symbolic Execution and Quantitative Reasoning
    Applications to Software Safety and Security
    05/2020
    Springer
    9783031014239 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €26.74
    Shipment within 15-20 days