Yu-Fang Chen - Böcker

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

3 produkter

Kategorier

3 produkter

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Av Yu-Fang Chen, Chih-Hong Cheng m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Verification and Evaluation of Computer and Communication Systems

14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

Av Belgacem Ben Hedia, Yu-Fang Chen m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Nyhet

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Av Yu-Fang Chen, Thomas Jensen m. fl

Häftad, Engelska, 2026

1 509 kr

Kommande