Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Ralf Pinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    17.07.2012

    This book constitutes the proceedings of the 17th International Workshop on Formal Methods for In...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Stochastic Model Checking Stochastic Model Checking

    Stochastic Model Checking

    Anne Remke
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The use of stochastic models in computer science is wide spread, for instance in performance mode...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 54,99 €

    Jetzt 51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Étienne André
    Springer, Springer
    13.08.2019

    This book constitutes the refereed proceedings of the 17th International Conference on Formal Mod...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Esther Guerra
    Springer, Springer
    20.03.2021

    This open access book constitutes the proceedings of the 24th International Conference on Fundame...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Quantitative Evaluation of Systems Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Kaustubh Joshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.08.2013

    This book constitutes the thoroughly refereed proceedings of the 10th International Conference on...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning

    A Journey from Process Algebra via Timed Automata to Model Learning

    Nils Jansen
    Springer, Springer
    07.09.2022

    This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Principles of Verification: Cycling the Probabilistic Landscape Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer, Springer
    13.11.2024

    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, ...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Principles of Verification: Cycling the Probabilistic Landscape Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer, Springer
    13.11.2024

    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, ...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Principles of Verification: Cycling the Probabilistic Landscape Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer, Springer
    18.11.2024

    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, ...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Concise Guide to Fault Tree Analysis Concise Guide to Fault Tree Analysis

    Concise Guide to Fault Tree Analysis

    Mariëlle Stoelinga
    Springer, Berlin, Springer Nature Switzerland, Birkhäuser

    Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with appl...

    Gebunden
    69,54 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1