^^PAGEHEADLINE ^^
-
Theoretical Aspects of Computing - ICTAC 2008
Springer Verlag GmbH 18.08.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenResearch on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Springer Verlag GmbH 21.05.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 4th International Conference on Reliability...
-
Applicable Formal Methods for Safe Industrial Products
Springer Verlag GmbH 17.08.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...
-
Formal Methods for Industrial Critical Systems
Springer Verlag GmbH 21.08.2024 - 2024Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 29th International Conference on Formal Methods for ...
-
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