Grid   List

  1. Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Kaustubh Joshi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Mariëlle Stoelinga
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 17...

    48,14 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Stochastic Model Checking

    Stochastic Model Checking

    Anne Remke
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The use of stochastic models in computer scienc...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Étienne André
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is dedicated to Joost-Pieter K...

    70,61 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is dedicated to Joost-Pieter K...

    79,17 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    74,89 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Ralf Pinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 17...

    49,22 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Mariëlle Stoelinga
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Kaustubh Joshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Mariëlle Stoelinga
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedin...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. 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 Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift, dedicated to Frits W. Vaandra...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga