熱門搜尋

    您輸入的關鍵字: Chockler

    分類(單選)
    顯示所有篩選
    配送方式(可複選)
    其他(可複選)
    ~

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

    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 4012 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 3352 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 4397 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 3737 元
    放入購物車 下次再買
    Validation of Evolving Software

    Validation of Evolving Software

    • 優惠價: 3299 元
    放入購物車 下次再買
    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    • 優惠價: 6599 元

    Chockler analyzes the structure of software infrastructures found in the financial domain, their vulnerabilities to cyber...... more
    放入購物車 下次再買
    Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008 Haifa, Israel, Octobe

    Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008 Haifa, Israel, Octobe

    • 優惠價: 3299 元

    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 20... more
    放入購物車 下次再買
    Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

    Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

    • 優惠價: 3599 元
    放入購物車 下次再買
    Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

    Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

    • 優惠價: 3599 元
    放入購物車 下次再買
    Validation of Evolving Software

    Validation of Evolving Software

    • 優惠價: 3299 元
    放入購物車 下次再買
    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    • 優惠價: 6599 元
    可訂購時通知我

    搜尋推薦

    另外從您輸入的關鍵字中，推薦您關鍵字: kotler 的結果(請點選看全部符合的商品)

    您可能感興趣的活動

    • 2025邀請新朋友，推薦禮回饋無上限