熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Bjørner

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

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

    Domain Science and Engineering: A Foundation for Software Development

    Domain Science and Engineering: A Foundation for Software Development

    • 優惠價: 11999

    In this book the author explains domain engineering and the underlying science, and he then shows ho... more

    Domain Science and Engineering: A Foundation for Software Development

    Domain Science and Engineering: A Foundation for Software Development

    • 優惠價: 11999

    In this book the author explains domain engineering and the underlying science, and he then shows ho... more

    The Structure of Pure Reason: Philosophy’s View of Our Situation in the World

    The Structure of Pure Reason: Philosophy’s View of Our Situation in the World

    • 優惠價: 7199
    Logics of Specification Languages

    Logics of Specification Languages

    • 優惠價: 10199

    Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Mo... more

    Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,

    Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,

    • 優惠價: 3299
    Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding

    Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding

    • 優惠價: 3299
    VDM ’’90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings

    VDM ’’90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings

    • 優惠價: 3299

    This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method... more

    VDM ’’87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    VDM ’’87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    • 優惠價: 3299
    Qualitative Methods for Consumer Research: The Value of the Qualitative Approach in Theory and Practice

    Qualitative Methods for Consumer Research: The Value of the Qualitative Approach in Theory and Practice

    • 優惠價: 2399

    Qualitative Methods for Consumer Research presents a range of essential topics for validly and reli... more

    搜尋推薦

    您可能感興趣的活動

    • 先綁定再消費最划算!OPEN POINT 會員首次綁定成功立即送50元E-Coupon