Systematic software development using VDM
Edición de la obra Systematic software development using VDM
| Autor | Jones, C. B. |
|---|---|
| Editorial | Prentice Hall |
| Fecha de publicación | 1990 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 333 |
| ISBN-10 | 0138807337 |
| LCCN | 89039812 |
| Serie | Prentice Hall international series in computer science |
| Número de Cutter | J76s |