Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2022

9783031086793

EBOOK