^^PAGEHEADLINE ^^
-
Integrated Formal Methods
Springer Verlag GmbH 24.05.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis bookconstitutes the refereed proceedings of the 12th International Conference on Integra...
-
Theory and Practice of Formal Methods
Springer Verlag GmbH 13.03.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 11.03.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...
-
Formal Techniques for Distributed Objects, Components, and Systems
Springer Verlag GmbH 21.05.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
-
Quantitative Evaluation of Systems
Springer Verlag GmbH 11.09.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 19th International Conference on Quantitative Evalua...
-
Fundamentals of Software Engineering
Springer Verlag GmbH 30.08.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...
-
Theoretical Aspects of Computing - ICTAC 2023
Springer Verlag GmbH 23.11.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...
-
Runtime Verification
Springer Verlag GmbH 12.10.2024 - 2024Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve...
- 1