Bokus

Yu-Fang Chen

Visar alla böcker från författaren Yu-Fang Chen. Handla med fri frakt och snabb leverans.

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2019

  2. Verification and Evaluation of Computer and Communication Systems

    Verification and Evaluation of Computer and Communication Systems

    2020

  3. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2026

  4. Verification and Evaluation of Computer and Communication Systems

    Verification and Evaluation of Computer and Communication Systems

    2020