Formal Techniques for Distributed Objects, Components, and Systems
de Christel Baier, Luís Caires
Materias
Ediciones (1)
- Formal Techniques for Distributed Objects, Components, and Systems (2018)
Springer · ISBN 9783319926117
de Christel Baier, Luís Caires
Springer · ISBN 9783319926117
