Using formal description techniques
an introduction to Estelle, Lotos and SDL
Edición de la obra Using formal description techniques
| Autor | K. Turner |
|---|---|
| Editorial | Wiley |
| Fecha de publicación | 1992 |
| Lugar | Chichester |
| Idioma | inglés |
| Páginas | 350 |
| ISBN-10 | 0471938432 |
| Número de Cutter | T948u |