Erweiterte Suche

Grid  List

  1. Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    17.10.2017

    This book constitutes the proceedings of the Third International Symposium on Dependable Software...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    20.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Tim Willemse
    Springer International Publishing, Springer International Publishing
    25.07.2019

    This book constitutes the proceedings of the 24th International Conference on Formal Methods for ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    07.01.2015

    This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Reachability Problems Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    13.09.2016

    This book constitutes the refereed proceedings of the 10th International Workshop on Reachability...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    23.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1