VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
Edición de la obra VDM '87. VDM - A Formal Method at Work
| Autor | Cliff Jones, Erich J. Neuhold |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 6, 1987 |
| Idioma | inglés |
| Páginas | 422 |
| Formato | Paperback |
| ISBN-13 | 9783540176541 |
| ISBN-10 | 3540176543 |
| Número de Cutter | J76v |