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

Your search for Corina S. Pasareanu

  1. Cover: Theoretical Aspects of Computing - ICTAC 2022 - Springer
    Helmut Seidl | Zhiming Liu | Corina S. Pasareanu
    Theoretical Aspects of Computing - ICTAC 2022
    19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
    10/2022
    Springer
    9783031177156 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Aspects of Component Software - Springer
    Corina S. Pasareanu | Gwen Salaün
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    01/2013
    Springer
    9783642358616 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  3. Cover: Formal Aspects of Component Software - Springer
    Corina S. Pasareanu | Gwen Salaün
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    01/2013
    Springer
    9783642358609 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  4. Cover: Symbolic Execution and Quantitative Reasoning - Morgan & Claypool Publishers
    Corina S. Pasareanu
    Symbolic Execution and Quantitative Reasoning
    Applications to Software Safety and Security
    05/2020
    Morgan & Claypool Publishers
    9781681738567 (ISBN)
    Book
    Hardback
    €85.00
    Shipment within 15-20 days
  5. Cover: Symbolic Execution and Quantitative Reasoning - Morgan & Claypool Publishers
    Corina S. Pasareanu
    Symbolic Execution and Quantitative Reasoning
    Applications to Software Safety and Security
    05/2020
    Morgan & Claypool Publishers
    9781681738543 (ISBN)
    Book
    Paperback/Softback
    €59.00
    Shipment within 15-20 days
  6. Cover: Model Checking Software - Springer
    Corina S. Pasareanu
    Model Checking Software
    16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
    06/2009
    Springer
    9783642026515 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Theoretical Aspects of Computing - ICTAC 2022 - Springer
    Helmut Seidl | Zhiming Liu | Corina S. Pasareanu
    Theoretical Aspects of Computing - ICTAC 2022
    19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
    10/2022
    Springer
    9783031177149 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days