1 E-böcker av 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
Engelska
DRM
€57.51
