Formal Techniques for Distributed Objects, Components, and Systems
de Kirstin Peters, Tim A. C. Willemse
Ediciones (1)
- Formal Techniques for Distributed Objects, Components, and Systems (2021)
Springer International Publishing AG · inglés · ISBN 9783030780883