Specification and transformation of programs
a formal approach to software development
Edición de la obra Specification and transformation of programs
| Autor | Helmut A. Partsch |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1990 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 493 |
| ISBN-10 | 0387523561 |
| OCLC | 21195845 |
| LCCN | 90009553 |
| Serie | Texts and monographs in computer science |
| Número de Cutter |