Formal Techniques for Distributed Objects, Components, and Systems

Jorge A. Pérez, Nobuko Yoshida

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

9783030217594

EBOOK