mariëlle stoelinga

Grid   List

  1. 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 of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Kaustubh Joshi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013....
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. 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 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presente...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Stochastic Model Checking
    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 modeling, analysis of randomized algorithms and communication protocols which form the structure of the ...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Principles of Verification: Cycling the Probabilistic Landscape
    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, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from ...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Principles of Verification: Cycling the Probabilistic Landscape
    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, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from ...
    78,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb 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
    Principles of Verification: Cycling the Probabilistic Landscape
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Ralf Pinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.The 14 papers pre...
    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Kaustubh Joshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013....
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Stochastic Model Checking
    Stochastic Model Checking
    Anne Remke
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Bezug 11-15
    The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the ...
    61,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Mariëlle Stoelinga
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Mariëlle Stoelinga
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, ...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>