Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems by Kirstin Peters, Tim A. C. Willemse.
Published by Springer International Publishing AG, (2021), Paperback, 245 pages.