Vdm'87: Vdm-A Formal Method at Work
Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)
Edición de la obra Vdm'87: Vdm-A Formal Method at Work
| Autor | D. Bjorner |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 1987 |
| Idioma | inglés |
| Páginas | 422 |
| ISBN-13 | 9780387176543 |
| ISBN-10 | 0387176543 |
| Número de Cutter | B626v |