Practical formal methods with VDM
Edición de la obra Practical formal methods with VDM
| Autor | Derek Andrews |
|---|---|
| Editorial | McGraw-Hill |
| Fecha de publicación | 1991 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 450 |
| ISBN-10 | 0077072146 |
| LCCN | 90024725 |
| Número de Cutter | A565p |