Formal Methods for Protocol Engineering and Distributed Systems
de Jianping Jianping Wu, Samuel T. Chanson, Quiang Quiang Gao
Materias
Ediciones (2)
- Formal Methods for Protocol Engineering and Distributed Systems (2013)
Springer · inglés · ISBN 9780387355788
- Formal Methods for Protocol Engineering and Distributed Systems (2013)
Springer · inglés · ISBN 9781475752700