
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 | January 1990 |
| Idioma | inglés |
| Páginas | 135 |
| Formato | Hardcover |
| ISBN-13 | 9783540195771 |
| ISBN-10 | 3540195777 |
| Número de Cutter | R932f |