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