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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|