Vai al contenuto principale della pagina

Theory of computation / Alberto Pettorossi



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: PETTOROSSI, Alberto Visualizza persona
Titolo: Theory of computation / Alberto Pettorossi Visualizza cluster
Pubblicazione: Roma : ARACNE, 1994
Edizione: 2. ed.
Descrizione fisica: Volumi (paginazione varia) : ill. ; 30 cm
Disciplina: 511.3
Soggetto topico: Complessità computazionale
Nota di contenuto: Part 3.: 1. Mathematical preliminares, 2. Turing machines, Partial recursive functions, 4. Decidability, 5. Semantics of programming languages, 6. Böhm-Jacopini theorem, 7. More on recursion and parsing, 8. More on finite automata and machines, 9. More on propositional calculus and boolean algebras. - ISBN 88-7999-106-X
Titolo autorizzato: Theory of computation  Visualizza cluster
ISBN: 88-7999-106-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996283450203316
Lo trovi qui: Univ. di Salerno
Collocazione: 511.3 PET 2 3
Opac: Controlla la disponibilità qui
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui