熱門搜尋

    您輸入的關鍵字: Doron a.

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

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

    Netherstorm Core Rulebook

    Netherstorm Core Rulebook

    • 優惠價: 950 元
    放入購物車 下次再買
    Software Reliability Methods

    Software Reliability Methods

    • 優惠價: 3299 元

    A new text/reference on formal method and techniques and tools for software development project design. Essential book...... more
    放入購物車 下次再買
    Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

    Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

    • 優惠價: 3299 元

    The RV series of workshops brings together researchers from academia and - dustry that are intereste... more
    放入購物車 下次再買
    Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Sel

    Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Sel

    • 優惠價: 3299 元

    Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual...... more
    放入購物車 下次再買
    Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January

    Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January

    • 優惠價: 3299 元

    Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of VMCAI is to provide a forum for researchers...... more
    放入購物車 下次再買
    Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

    Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston, Texas, Usa, November 11-14, 2

    Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston, Texas, Usa, November 11-14, 2

    • 優惠價: 3299 元
    放入購物車 下次再買
    Time for Verification: Essays in Memory of Amir Pnueli

    Time for Verification: Essays in Memory of Amir Pnueli

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