Profisuche

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 As...

    48,14 €
    Alle Preise inkl. MwSt
  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 C...

    53,49 €
    Alle Preise inkl. MwSt
  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 Inter...

    53,49 €
    Alle Preise inkl. MwSt
  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 Inter...

    53,49 €
    Alle Preise inkl. MwSt
  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, ...

    106,99 €
    Alle Preise inkl. MwSt
  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 u...

    85,59 €
    Alle Preise inkl. MwSt
  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 discuss...

    26,74 €
    Alle Preise inkl. MwSt
  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...

    53,49 €
    Alle Preise inkl. MwSt
  9. Model Checking Software

    Model Checking Software

    Corina S Pasareanu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 16th International SPIN workshop on Mode...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Theoretical Aspects of Computing ¿ ICTAC 2022

    Theoretical Aspects of Computing ¿ ICTAC 2022

    Helmut Seidl
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  11. Formal Aspects of Component Software

    Formal Aspects of Component Software

    Gwen Salaün
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the revised selected papers of the 9th International Symposium on Formal As...

    49,22 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1