Formal differentiation
a program synthesis technique
Edición de la obra Formal differentiation
| Autor | Robert A. Paige |
|---|---|
| Editorial | UMI Research Press |
| Fecha de publicación | 1981 |
| Lugar | Ann Arbor, Mich |
| Idioma | inglés |
| Páginas | 277 |
| ISBN-10 | 0835712133 |
| LCCN | 81007632 |
| Serie | Computer science. · no. 6 |
| Número de Cutter | P142f |