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. 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 17...

    49,22 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. 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
  7. Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Kaustubh Joshi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. 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
  9. 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
Google Plus
Powered by Inooga