^^PAGEHEADLINE ^^
-
Quantitative Evaluation of Systems
Springer Verlag GmbH 12.08.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 14th International Conference on Quantitative Evalu...
-
Formal Modeling and Analysis of Timed Systems
Springer Verlag GmbH 17.08.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Principles of Formal Quantitative Analysis
Springer Verlag GmbH 31.08.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift is dedicated to Christel Baier in recognition of her contributions to the field ...
-
Foundations of Software Science and Computation Structures
Springer Verlag GmbH 22.05.2026 - 2026Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
- 1