Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt
| Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt |
| Autore | Manna, Zohar |
| Pubbl/distr/stampa | New York ; Amsterdam : North Holland, ©1977 |
| Descrizione fisica | 192 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) | Waldinger, Richard |
| Collana |
Artificial intelligence series
The computer science library |
| Soggetto non controllato | Programmazione |
| ISBN | 0-444-00224-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495460403321 |
Manna, Zohar
|
||
| New York ; Amsterdam : North Holland, ©1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The logic of computer programming / Zohar Manna, Richard Waldinger
| The logic of computer programming / Zohar Manna, Richard Waldinger |
| Autore | Manna, Zohar |
| Pubbl/distr/stampa | Stanford : Computer Science Department, 1977 |
| Descrizione fisica | 83 p. : ill. ; 28 cm |
| Disciplina | 005 |
| Altri autori (Persone) | Waldinger, Richard |
| Soggetto non controllato | Programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470310403321 |
| Manna, Zohar | ||
| Stanford : Computer Science Department, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||