Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX'99
Edición de la obra Formal Methods for Protocol Engineering and Distributed Systems
| Autor | Jianping Jianping Wu, Samuel T. Chanson, Quiang Quiang Gao |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9780387355788 |
| Número de Cutter | W959f |