Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2016
9783319395708
EBOOK
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2016
9783319395708
EBOOK
