Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2017
9783319602257
EBOOK
Formal Techniques for Distributed Objects, Components, and Systems - Springer Springer 2017
9783319602257
EBOOK
