Etienne André – författare
Visar alla böcker från författaren .
5 produkter
5 produkter
Inbunden, Engelska, 2013
2 519 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
729 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 159 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 089 kr
Skickas inom 5-8 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 079 kr
Skickas inom 5-8 vardagar