Herausgegeben von: Maurice H. ter Beek
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Maurice H. ter Beek.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Architecting Dependable Systems VI
-16.7 %
CHF 57.50
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
-12.9 %
CHF 115.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
-5.8 %
CHF 97.–
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti
-16.7 %
CHF 57.50
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
CHF 68.50
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Coordination Models and Languages
24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Tec
-9.5 %
CHF 143.–