Formal methods in standards
a report from the BCS Working Group
Edición de la obra Formal methods in standards
| Autor | C. L. N. Ruggles, Derek Andrews |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1990 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 135 |
| ISBN-10 | 0387195777, 3540195777 |
| LCCN | 90035889 |
| Número de Cutter | R932f |