Del 13505 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Häftad, Engelska, 2022
1 099 kr
Skickas inom 10-15 vardagar
Zhilin Wu – författare
Visar alla böcker från författaren Zhilin Wu.
2 produkter
2 produkter
- Del 15841 - Lecture Notes in Computer Science
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
Häftad, Engelska, 20251 099 kr
Skickas inom 10-15 vardagar