2 E-böcker av Ornela Dardha
Ornela Dardha: Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in comp …
PDF
Engelska
DRM
€90.52
Ferruccio Damiani & Ornela Dardha: Coordination Models and Languages
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part …
EPUB
Engelska
DRM
€57.36
