Formal Techniques for Distributed Objects, Components, and Systems

Alexey Gotsman, Ana Sokolova

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

9783030500863

EBOOK