Formal Techniques for Distributed Objects, Components, and Systems
Jorge A. Pérez, Nobuko Yoshida
Formal Techniques for Distributed Objects, Components, and Systems - 1st ed. 2019 - Springer International Publishing 2019 - 11535 - Lecture Notes in Computer Science .
978-3-030-21759-4
1611-3349
Formal Techniques for Distributed Objects, Components, and Systems - 1st ed. 2019 - Springer International Publishing 2019 - 11535 - Lecture Notes in Computer Science .
978-3-030-21759-4
1611-3349