Etienne André - Böcker
Visar alla böcker från författaren Etienne André.
5 produkter
5 produkter
2 469 kr
Skickas inom 5-8 vardagar
Del 11750 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Del 14215 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Häftad, Engelska, 2023
1 149 kr
Skickas inom 10-15 vardagar
Del 14216 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Häftad, Engelska, 2023
1 079 kr
Skickas inom 7-10 vardagar
Del 16229 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Häftad, Engelska, 2025
1 059 kr
Skickas inom 7-10 vardagar