Formal Techniques for Distributed Objects, Components, and Systems
Kirstin Peters, Tim A. C. Willemse
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2021
9783030780890
EBOOK
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2021
9783030780890
EBOOK
