Yu-Fang Chen – författare

Visar alla böcker från författaren Yu-Fang Chen.

3 produkter

Kategorier

3 produkter

Del 11781
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
AvYu-Fang Chen,Chih-Hong Chengm. fl.
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar
Del 12519
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
AvBelgacem Ben Hedia,Yu-Fang Chenm. fl.
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 16417
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
AvYu-Fang Chen,Thomas Jensenm. fl.
Häftad, Engelska, 2026
1 089 kr
Skickas inom 10-15 vardagar