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.
Mathematical logic for computer science / M. Ben-Ari
| Mathematical logic for computer science / M. Ben-Ari |
| Autore | Ben_Ari, M. |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1993 |
| Descrizione fisica | XI, 305 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato |
logica matematica
logica simbolica |
| ISBN | 0-13-564139-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228260203316 |
Ben_Ari, M.
|
||
| New York [etc.] : Prentice Hall, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of concurrent and distributed programming / M. Ben-Ari
| Principles of concurrent and distributed programming / M. Ben-Ari |
| Autore | Ben_Ari, M. |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1990 |
| Descrizione fisica | X, 225 p. : ill. ; 24 cm |
| Disciplina | 00435 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato |
elaborazione distribuita
elaborazione parallela |
| ISBN | 0-13-711821-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228100203316 |
|
Ben_Ari, M.
|
||
| New York [etc.] : Prentice Hall, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||