Herausgegeben von: Étienne André
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Étienne André.
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
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
-5.8 %
CHF 97.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
-6.4 %
CHF 102.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
-11.3 %
CHF 90.50