Formal Methods and Software Development
Edición de la obra Formal Methods and Software Development
| Autor | Hartmut Ehrig |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | June 1985 |
| Idioma | inglés |
| Formato | Paperback |
| ISBN-13 | 9780387151991 |
| ISBN-10 | 0387151990 |
| Número de Cutter | E33f |