Formal program development
IFIP TC2/WG 2.1 state-of-the-art report
Edición de la obra Formal program development
| Autor | Helmut A. Partsch, Bernhard Moller, Helmut Partsch |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1993 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 371 |
| ISBN-10 | 0387574999 |
| OCLC | 29256267 |
| LCCN | 93041255 |