corina s pasareanu

Grid   List

  1. Formal Aspects of Component Software
    Formal Aspects of Component Software
    Corina S Pasareanu
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 ful...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Model Checking Software
    Model Checking Software
    Corina S Pasareanu
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in Jul...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in Jul...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods
    Formal Methods
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.
    106,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Radu Calinescu
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Symbolic Execution and Quantitative Reasoning
    Symbolic Execution and Quantitative Reasoning
    Corina S. Pasareanu
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is...
    26,74 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Theoretical Aspects of Computing - ICTAC 2022
    Theoretical Aspects of Computing - ICTAC 2022
    Helmut Seidl
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Aspects of Component Software
    Formal Aspects of Component Software
    Gwen Salaün
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 ful...
    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Model Checking Software
    Model Checking Software
    Corina S Pasareanu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.The 15 revised full pa...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Theoretical Aspects of Computing ¿ ICTAC 2022
    Theoretical Aspects of Computing ¿ ICTAC 2022
    Helmut Seidl
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>