Yu-Fang Chen – författare
Visar alla böcker från författaren Yu-Fang Chen.
3 produkter
3 produkter
Del 11781 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 12519 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 16417 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Häftad, Engelska, 2026
1 069 kr
Skickas inom 10-15 vardagar