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
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2019
9783030217594
EBOOK
