Formal Description Techniques and Protocol Specification, Testing and Verification
Forte X / Pstv Xvii '97
Edición de la obra Formal description techniques and protocol specification, testing and verification
| Autor | Atsushi Togashi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 11, 2013 |
| Páginas | 561 |
| Formato | paperback |
| ISBN-13 | 9781475752601 |
| ISBN-10 | 1475752601 |
| Número de Cutter | T645f |