Detailsuche

Grid  List

  1. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Ralf Pinger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 51,42 €

    Jetzt 51,41 €Ebook
    Alle Preise inkl. MwSt
  2. Quantitative Evaluation of Systems
    0 %
    Quantitative Evaluation of Systems
    Pedro R. D’Argenio
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,82 €

    Jetzt 57,81 €Ebook
    Alle Preise inkl. MwSt
  3. Stochastic Model Checking
    0 %
    Stochastic Model Checking
    Anne Remke
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 51,67 €

    Jetzt 51,66 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Modeling and Analysis of Timed Systems
    0 %
    Formal Modeling and Analysis of Timed Systems
    Etienne Andre
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,42 €

    Jetzt 57,41 €Ebook
    Alle Preise inkl. MwSt
  5. Fundamental Approaches to Software Engineering
    0 %
    Fundamental Approaches to Software Engineering
    Esther Guerra
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,84 €

    Jetzt 3,83 €Ebook
    Alle Preise inkl. MwSt
  6. Journey from Process Algebra via Timed Automata to Model Learning
    0 %
    Journey from Process Algebra via Timed Automata to Model Learning
    Petra van den Bos
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,91 €

    Jetzt 57,90 €Ebook
    Alle Preise inkl. MwSt
  7. Principles of Verification: Cycling the Probabilistic Landscape
    0 %
    Principles of Verification: Cycling the Probabilistic Landscape
    Nils Jansen
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 76,87 €

    Jetzt 76,86 €Ebook
    Alle Preise inkl. MwSt
  8. Principles of Verification: Cycling the Probabilistic Landscape
    0 %
    Principles of Verification: Cycling the Probabilistic Landscape
    Nils Jansen
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 76,87 €

    Jetzt 76,86 €Ebook
    Alle Preise inkl. MwSt
  9. Principles of Verification: Cycling the Probabilistic Landscape
    0 %
    Principles of Verification: Cycling the Probabilistic Landscape
    Nils Jansen
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 83,27 €

    Jetzt 83,26 €Ebook
    Alle Preise inkl. MwSt
  10. Stochastic Model Checking
    0 %
    Stochastic Model Checking
    Anne Remke
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 54,99 €

    Jetzt 51,35 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Kaustubh Joshi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Ralf Pinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    49,22 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2