Using formal description techniques
an introduction to Estelle, LOTOS, and SDL
Edición de la obra Using formal description techniques
| Autor | Kenneth J. Turner |
|---|---|
| Editorial | Wiley |
| Fecha de publicación | 1993 |
| Lugar | Chichester [England], New York |
| Idioma | inglés |
| Páginas | 431 |
| ISBN-10 | 0471934550 |
| LCCN | 92036619 |
| Serie | Wiley series in communication and distributed systems |
| Número de Cutter | T948u |