熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Neil D. (EDT) Muller-Olm

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 1 筆, 頁數 1 / 1

    Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January

    Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January

    • 優惠價: 3299

    This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Chec... more

    搜尋推薦