top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui