1 电子书 Kirstin Peters
Kirstin Peters & Tim A. C. Willemse: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, …
EPUB
英语
DRM
€57.51
