^^PAGEHEADLINE ^^
-
Critical Systems: Formal Methods and Automated Verification
Springer Verlag GmbH 14.09.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...
-
Web Services and Formal Methods
Springer Verlag GmbH 25.04.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeWeb Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied t...
-
Formal Methods - The Next 30 Years
Springer Verlag GmbH 15.09.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...
-
From Software Engineering to Formal Methods and Tools, and Back
Springer Verlag GmbH 14.09.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume was published in honor of Stefania Gnesis 65th birthday. The Festschrift volume conta...
-
Formal Methods for Industrial Critical Systems
Springer Verlag GmbH 29.08.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Integrated Formal Methods
Springer Verlag GmbH 01.06.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 17th International Conference on Integrated...
-
Coordination Models and Languages
Springer Verlag GmbH 06.07.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...
-
Formal Methods: Foundations and Applications
Springer Verlag GmbH 27.11.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods:...
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Springer Verlag GmbH 16.11.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa,...
-
Journeys Between Formal Methods and the Railway Industry
Springer Verlag GmbH 06.02.2026 - 2026Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenAlessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a ...
- 1