Profisuche

kim guldstrand larsen

Grid   List

  1. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submis...

    53,49 €
    Alle Preise inkl. MwSt
  2. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  5. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Tim Willemse
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. 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 Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. 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 Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1