熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 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
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
This book constitutes the refereed proceedings of the 21st International Conference on Software Engi... more |