Formal Description Techniques and Protocol Specification,
Edición de la obra Formal description techniques and protocol specification, testing and verification
| Autor | Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 31, 1997 |