Fundamentals of deductive program synthesis
Edición de la obra Fundamentals of deductive program synthesis
| Autor | Zohar Manna |
|---|---|
| Editorial | Dept. of Computer Science, Stanford University |
| Fecha de publicación | 1992 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 62 |
| LCCN | 92186963 |
| Serie | Report ; · no. STAN-CS-92-1404 · Report (Stanford University. Computer Science Dept.) ; |
| Número de Cutter | M282f |