Yu-Fang Chen - Böcker
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
719 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
719 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Häftad, Engelska, 2026
1 059 kr
Skickas inom 10-15 vardagar