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 |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 1990 |
| Idioma | inglés |
| Páginas | 135 |
| ISBN-13 | 9780387195773 |
| ISBN-10 | 0387195777 |
| Número de Cutter | R932f |