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

    48,14 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Model Checking Software

    Model Checking Software

    Corina S Pasareanu
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Formal Methods

    Formal Methods

    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    106,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Radu Calinescu
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Chapter 'Configuration Space Exploration for Di...

    85,59 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. 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 e...

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

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Model Checking Software

    Model Checking Software

    Corina S Pasareanu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the 16t...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Formal Aspects of Component Software

    Formal Aspects of Component Software

    Gwen Salaün
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the revised selected pape...

    49,22 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. 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 19...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga