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