Formal Methods for Open Object-Based Distributed Systems
de Elie Najm, Uwe Nestmann, Perdita Stevens
Ediciones (2)
- Formal Methods for Open Object-Based Distributed Systems (2016)
Springer London, Limited · inglés · ISBN 9780387350820
- Formal Methods for Open Object-Based Distributed Systems (2003)
Springer London, Limited · inglés · ISBN 9783540399582
