Systematic software development using VDM
Edición de la obra Systematic software development using VDM
| Autor | Jones, C. B. |
|---|---|
| Editorial | Prentice Hall International |
| Fecha de publicación | 1986 |
| Lugar | Englewood Cliffs, N.J |
| Idioma | inglés |
| Páginas | 300 |
| ISBN-10 | 0138807256, 0138807175 |
| OCLC | 13063727 |
| LCCN | 85031178 |
| Serie | Prentice-Hall International series in computer science |
| Número de Cutter | J76s |