熱門搜尋

    您輸入的關鍵字: Tim A. C.

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

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

    Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In

    Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on F... more

    Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings

    Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings

    • 優惠價: 4199

    This book constitutes the refereed proceedings of the 21st International Conference on Software Engi... more

    搜尋推薦