Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Reachability Problems
    Reachability Problems
    Kim Guldstrand Larsen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Akash Lal
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Kim Guldstrand Larsen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Jan Friso Groote
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    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
    Jan Friso Groote
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1