*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Pedro R. D’Argenio
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Mariëlle Stoelinga
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Étienne André
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and B...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Esther Guerra
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    FASE Contributions.- On Benchmarking for Concurrent Runtime Verification.- Certified Abstract Cos...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. A Journey from Process Algebra via Timed Automata to Model Learning
    A Journey from Process Algebra via Timed Automata to Model Learning
    Mariëlle Stoelinga
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Principles of Verification: Cycling the Probabilistic Landscape
    Principles of Verification: Cycling the Probabilistic Landscape
    Benjamin Lucien Kaminski
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Principles of Verification: Cycling the Probabilistic Landscape
    Principles of Verification: Cycling the Probabilistic Landscape
    Benjamin Lucien Kaminski
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Principles of Verification: Cycling the Probabilistic Landscape
    Principles of Verification: Cycling the Probabilistic Landscape
    Nils Jansen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Formal Methods
    Formal Methods
    Marielle Stoelinga
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th Inte...

    48,03 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Concise Guide to Fault Tree Analysis
    Concise Guide to Fault Tree Analysis
    Enno Ruijters
    Springer
    Buch
    BOD - 7 Tage

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

    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1