^^PAGEHEADLINE ^^
-
Formal Methods for Executable Software Models
Springer Verlag GmbH 21.05.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeAnalysis of Executable Software Models.- Deadlock Detection in Linear Recursive Prog...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 03.01.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...
-
Formal Verification of Object-Oriented Software
Springer Verlag GmbH 19.07.2012 - 2012Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents the thoroughly refereed post-conference proceedings of the International Confe...
-
Coordination Models and Languages
Springer Verlag GmbH 06.06.2021 - 2021Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...
-
Active Object Languages: Current Research Trends
Springer Verlag GmbH 29.01.2024 - 2024Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenActive Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...
-
Integrated Formal Methods
Springer Verlag GmbH 16.11.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 20th International Conference on Integrated...
- 1