Hoppa till sidans huvudinnehåll

Yu-Fang Chen - Böcker

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

Automated Technology for Verification and Analysis

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

AvYu-Fang Chen,Chih-Hong Cheng m. fl.

Häftad, Engelska, 2019

719 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

AvBelgacem Ben Hedia,Yu-Fang Chen m. fl.

Häftad, Engelska, 2020

719 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

AvYu-Fang Chen,Thomas Jensen m. fl.

Häftad, Engelska, 2026

1 209 kr

Skickas inom 10-15 vardagar